if (reallyClose) return closeWindow(false); 
if (!reallyClose) return false; 
function WindowIsClosing(){  var browser = getBrowser();  var cn = browser.tabContainer.childNodes;  var numtabs = cn.length;  var reallyClose = browser.warnAboutClosingTabs(true);  for (var i = 0; reallyClose && i < numtabs; ++i) {    var ds = browser.getBrowserForTab(cn[i]).docShell;    if (ds.contentViewer && !ds.contentViewer.permitUnload())      reallyClose = false;  }  if (reallyClose)    return closeWindow(false);  return reallyClose;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/842c8ce63687e858eae1fb17693f18960f1ebdf7/browser.js/buggy/browser/base/content/browser.js