 gBrowser.removeCurrentTab(); 
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); 
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 the current tab is the last one, this will close the window.  gBrowser.removeCurrentTab();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/163f2b9e1fb22933bb6d60327e9daf4f24e55641/browser.js/buggy/browser/base/content/browser.js