rem: if (!http_request) 
add: if (!http_request) 
context: function makeRequest(url, parameters) {  http_request = false;  if (window.XMLHttpRequest)   { // Mozilla, Safari,...    http_request = new XMLHttpRequest();    if (http_request.overrideMimeType) { http_request.overrideMimeType('text/xml'); }  }   else   if (window.ActiveXObject)   { // IE    try { http_request = new ActiveXObject("Msxml2.XMLHTTP"); }     catch (e)     {      try { http_request = new ActiveXObject("Microsoft.XMLHTTP"); }       catch (e) {}    }  }  if (!http_request)   {    alert('Giving up :( Cannot create an XMLHTTP instance');    return false;  }   http_request.onreadystatechange = alertContents;  http_request.open('POST', url, true);  http_request.setRequestHeader("Content-type", "application/x-www-form-urlencoded");  http_request.setRequestHeader("Content-length", parameters.length);  http_request.setRequestHeader("Connection", "close");  http_request.send(parameters);}
meta: 8858	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8858/374abd5173baac3ed0f6912dfd48568b3eef8365/ajax.js/clean/pmd/scripts/ajax.js