(promptSvc.BUTTON_TITLE_YES * promptSvc.BUTTON_POS_0) + (promptSvc.BUTTON_TITLE_NO * promptSvc.BUTTON_POS_1), 
promptSvc.STD_YES_NO_BUTTONS, 
function AskChangeDefaultEngine(aSelectedEngine){  const kDontAskAgainPref  = "browser.search.set_default.dont_ask_again";  const kDefaultEnginePref = "browser.search.defaultengine";  // don't prompt user if selection is same as old default engine  var oldDefault = nsPreferences.copyUnicharPref(kDefaultEnginePref);  if (aSelectedEngine.getAttribute("value") == oldDefault)    return;  // check "don't ask again" pref  var dontAskAgain = nsPreferences.getBoolPref(kDontAskAgainPref, false);  var change = false; // should we change the default engine?  // if "don't ask again" pref was set  if (dontAskAgain)  {    change = true;  }  else  {    // prompt user if we should change their default engine    var promptSvc = Components.                      classes["@mozilla.org/embedcomp/prompt-service;1"].                      getService(Components.interfaces.nsIPromptService);    if (!promptSvc)      return;    var title = searchBundle.getString("changeEngineTitle");     var dontAskAgainMsg = searchBundle.getString("dontAskAgainMsg");     var engineName = aSelectedEngine.getAttribute("label");    if (!engineName || engineName == "")      engineName = searchBundle.getString("thisEngine");    var changeEngineMsg = searchBundle.stringBundle.formatStringFromName(                          "changeEngineMsg", [engineName], 1);     var checkbox = {value:0};    var choice = promptSvc.confirmEx(window, title, changeEngineMsg,                    (promptSvc.BUTTON_TITLE_YES * promptSvc.BUTTON_POS_0) +                    (promptSvc.BUTTON_TITLE_NO * promptSvc.BUTTON_POS_1),                   null, null, null, dontAskAgainMsg, checkbox);    if (choice == 0)      change = true;    // store "don't ask again" pref from checkbox value (if changed)    debug("dontAskAgain: " + dontAskAgain);    debug("checkbox.value: " + checkbox.value);    if (checkbox.value != dontAskAgain)      nsPreferences.setBoolPref(kDontAskAgainPref, checkbox.value);  }  // if confirmed true, i.e., change default engine, then set pref  if (change)    nsPreferences.setUnicharPref(kDefaultEnginePref, aSelectedEngine.value);  disableNavButtons();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/bf31d5884509ec161b82dfe308d14c6cebee8146/search-panel.js/buggy/suite/common/search/search-panel.js