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/5a746e48f3be66f2cc2c0ff4a2e723399c01c354/browser.js/clean/browser/base/content/browser.js