var searchButton = document.getAnonymousElementByAttribute(this.getSearchBar(), "anonid", "searchbar-engine-button"); if (!searchButton) 
var searchBar = this.searchBar; if (!searchBar) 
  updateSearchButton: function() {    var searchButton = document.getAnonymousElementByAttribute(this.getSearchBar(),                                "anonid", "searchbar-engine-button");    if (!searchButton)      return;    var engines = gBrowser.mCurrentBrowser.engines;    if (!engines || engines.length == 0) {      if (searchButton.hasAttribute("addengines"))        searchButton.removeAttribute("addengines");    }    else {      searchButton.setAttribute("addengines", "true");    }  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/bd2b254d12ebf93d37bbbce6eba176b7bad15131/browser.js/buggy/browser/base/content/browser.js