var navToolbox = document.getElementById("navigator-toolbox"); navToolbox.hidden = aHide; 
getNavToolbox().hidden = aHide; 
function toggleAffectedChrome(aHide){  // chrome to toggle includes:  //   (*) menubar  //   (*) navigation bar  //   (*) bookmarks toolbar  //   (*) browser messages  //   (*) sidebar  //   (*) find bar  //   (*) statusbar  var navToolbox = document.getElementById("navigator-toolbox");  navToolbox.hidden = aHide;  if (aHide)  {    gChromeState = {};    var sidebar = document.getElementById("sidebar-box");    gChromeState.sidebarOpen = !sidebar.hidden;    gSidebarCommand = sidebar.getAttribute("sidebarcommand");    var notificationBox = gBrowser.getNotificationBox();    gChromeState.notificationsOpen = !notificationBox.notificationsHidden;    notificationBox.notificationsHidden = aHide;    var statusbar = document.getElementById("status-bar");    gChromeState.statusbarOpen = !statusbar.hidden;    statusbar.hidden = aHide;    gChromeState.findOpen = !gFindBar.hidden;    gFindBar.close();  }  else {    if (gChromeState.notificationsOpen) {      gBrowser.getNotificationBox().notificationsHidden = aHide;    }    if (gChromeState.statusbarOpen) {      var statusbar = document.getElementById("status-bar");      statusbar.hidden = aHide;    }    if (gChromeState.findOpen)      gFindBar.open();  }  if (gChromeState.sidebarOpen)    toggleSidebar(gSidebarCommand);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/36d38a4df6b41a5fa9742ad2d6b59cd4ca82fe83/browser.js/buggy/browser/base/content/browser.js