anchor.diff:  import 'dart:html';
   import 'dart:json';
  +
  +void get_string(String address, String url_data, callback)
  +{
  +  HttpRequest request = new HttpRequest();
  +  
  +  request.on.load.add((Event event) {
  +    callback(request.responseText);
  +  });
  +  
  +  // POST the data to the server
  +  request.open("POST", address, true);
  +  request.setRequestHeader("Content-type", "application/x-www-form-urlencoded");
  +  request.send(url_data); // perform the async POST
  +}
   
   class login_form
   {
  
positive.code:       {
          create_form(null);
        } else {
        HttpRequest.request("get_login_details.php?uuid=${uuid}").then(create_form);
      }
    }
    
    void create_form(HttpRequest req)
    {
      Map parsed_user_details;
      try {
        parsed_user_details = JSON.parse(req.responseText);
      } on Exception catch (ex) {
        document.window.alert(ex.toString());
      }
    }
  }
  
negative.code:   login_form()
    {
      content = new Element.html("<div>Loading Login Form</div>");
      String uuid = "511aca9452c650.25872024";
      document.window.alert(document.cookie);
      // for (int i = 0; i < HttpRequest.cookies.length; ++i)
      //   {
      //     Cookie current = HttpRequest.cookies[i];
  