  if (pageURI.scheme != "http" && pageURI.scheme != "https") throw NS_ERROR_DOM_BAD_URI;  
function downloadHTMLPage(pageURI, loadHandler) {  LOG(pageURI.spec + " downloading as HTML");  // We download HTML pages via hidden iframes in browser windows.  // According to bz, this is the best way to do it, since bug 102699  // is hard to fix.  var windowMediator = Cc['@mozilla.org/appshell/window-mediator;1'].                       getService(Ci.nsIWindowMediator);  var window = windowMediator.getMostRecentWindow("navigator:browser");  // XXX We can use other windows, too, so perhaps we should try  // to get some other window if there's no browser window open.  if (!window)    throw(pageURI.spec + " can't download as HTML; no browser window");  var document = window.document;  var mainWindow = document.getElementById('main-window');  var iframe = document.createElement('iframe');  iframe.setAttribute("collapsed", true);  iframe.addEventListener("load", loadHandler, true);  mainWindow.appendChild(iframe);  // Now that we've added the iframe to the window, we can access docShell  // to turn off JavaScript for security and turn off images to reduce load  // on the network.  iframe.docShell.allowJavascript = false;  iframe.docShell.allowImages = false;  // Attach the URI to the iframe so we can retrieve it later.  iframe.originalURI = pageURI;  // Kick off the download.  iframe.setAttribute('src', pageURI.spec);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3f7b7063515ac6d7b94fa568fec338a5ad608d33/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js