get toolbar() { if (!this._toolbar) this._toolbar = document.getElementById("bookmarksBarContent");  return this._toolbar; 
get searchBar() { return document.getElementById("searchbar"); 
  get toolbar() {    if (!this._toolbar)      this._toolbar = document.getElementById("bookmarksBarContent");    return this._toolbar;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/515ad5f12b663f1789d0d62c6a551f101a365824/browser.js/buggy/browser/base/content/browser.js