  if (pageURI.scheme != "http" && pageURI.scheme != "https") throw NS_ERROR_DOM_BAD_URI;  
function downloadXMLPage(pageURI, loadHandler) {  LOG(pageURI.spec + " downloading as XML");  var request = Cc["@mozilla.org/xmlextras/xmlhttprequest;1"].createInstance();  if (loadHandler) {    request = request.QueryInterface(Ci.nsIDOMEventTarget);    request.addEventListener("load", loadHandler, false);  }    request = request.QueryInterface(Ci.nsIXMLHttpRequest);  request.open("GET", pageURI.spec, true);  request.send(null);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3f7b7063515ac6d7b94fa568fec338a5ad608d33/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js