rem: return function(name, arguments) {  _alert("starting xmlhttprequest");  var request = _newXMLHttpRequest(); asynch = true;       request.open('POST', location.href, asynch); request.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded'); request.onreadystatechange = _remoteCallHandler(kappa, request);  request.send("__name=" + _base64encode(name) + "&__args=" + _base64encode(JSON.stringify(arguments)));  } 
add: function enxml(kappa) { return function (body) { return kappa([document.createTextNode(body)]); }} 
context:   return function(name, arguments) {    _alert("starting xmlhttprequest");    var request = _newXMLHttpRequest();    asynch = true;    // [IE] IE mistakenly urlencodes # as %23    // whereas Firefox leaves it plain    //    // so we use location.href instead    // which seems to work in both    request.open('POST', location.href, asynch);    request.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded');    request.onreadystatechange = _remoteCallHandler(kappa, request);    request.send("__name=" + _base64encode(name) +                  "&__args=" + _base64encode(JSON.stringify(arguments)));  }
meta: 3248	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3248/a2793baf4159e09553902744e25baa5ab5934ff3/jslib.js/buggy/jslib.js