gPrefService.setBoolPref("browser.tabs.forceHide", false); 
  toggleAutoHideTabbar: function ()  {    if (gBrowser.tabContainer.childNodes.length == 1 &&        window.toolbar.visible) {      var aVisible = false;      try {        aVisible = !gPrefService.getBoolPref(this.domain);      }      catch (e) {      }      gBrowser.setStripVisibilityTo(aVisible);    }  }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/163f2b9e1fb22933bb6d60327e9daf4f24e55641/browser.js/clean/browser/base/content/browser.js