if (gBrowser.tabContainer.childNodes.length > 1 || window.toolbar.visible && !gPrefService.getBoolPref("browser.tabs.autoHide")) {  var isLastTab = gBrowser.tabContainer.childNodes.length == 1; gBrowser.removeCurrentTab(); if (isLastTab && gURLBar) setTimeout(function() { gURLBar.focus(); }, 0); return; }  closeWindow(true); 
 gBrowser.removeCurrentTab(); 
function BrowserCloseTabOrWindow(){#ifdef XP_MACOSX  // If we're not a browser window, just close the window  if (window.location.href != getBrowserURL()) {    closeWindow(true);    return;  }#endif  if (gBrowser.tabContainer.childNodes.length > 1 ||      window.toolbar.visible && !gPrefService.getBoolPref("browser.tabs.autoHide")) {    // Just close the tab (and focus the address bar if it was the last one).    var isLastTab = gBrowser.tabContainer.childNodes.length == 1;    gBrowser.removeCurrentTab();    if (isLastTab && gURLBar)      setTimeout(function() { gURLBar.focus(); }, 0);    return;  }  closeWindow(true);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3282b8b9f433b0426629d595e5c5ad19bc2a75e5/browser.js/clean/browser/base/content/browser.js