var pbi = gPrefService.QueryInterface(Components.interfaces.nsIPrefBranchInternal); pbi.addObserver(this.promptDomain, this, false); 
gPrefService.addObserver(this.promptDomain, this, false); 
function SanitizeListener(){  var pbi = gPrefService.QueryInterface(Components.interfaces.nsIPrefBranchInternal);  pbi.addObserver(this.promptDomain, this, false);  this._defaultLabel = document.getElementById("sanitizeItem")                               .getAttribute("label");  this._updateSanitizeItem();  if (gPrefService.prefHasUserValue(this.didSanitizeDomain)) {    gPrefService.clearUserPref(this.didSanitizeDomain);    // We need to persist this preference change, since we want to    // check it at next app start even if the browser exits abruptly    gPrefService.savePrefFile(null);  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/db810767a394be66b9097a7414e21612b09db75b/browser.js/buggy/browser/base/content/browser.js