(ifps.BUTTON_POS_0 * ifps.BUTTON_TITLE_YES + ifps.BUTTON_POS_1 * ifps.BUTTON_TITLE_NO), 
ifps.STD_YES_NO_BUTTONS, 
function showNeedSetupInfo(){  var ifps = Components.interfaces.nsIPromptService;  var promptService = Components.classes["@mozilla.org/embedcomp/prompt-service;1"].getService();  promptService = promptService.QueryInterface(ifps);  setupBundles();  if (promptService && gBundle && gBrandBundle) {    var dummy = new Object;    var buttonPressed =    promptService.confirmEx(window,      gBrandBundle.getString("brandShortName"),      gBundle.getString("NeedSetup"),       (ifps.BUTTON_POS_0 * ifps.BUTTON_TITLE_YES       + ifps.BUTTON_POS_1 * ifps.BUTTON_TITLE_NO),      0,      0,      0,      null,      dummy);        if (0 == buttonPressed) {      openHelp("sign-encrypt");    }  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/bf31d5884509ec161b82dfe308d14c6cebee8146/msgCompSMIMEOverlay.js/clean/mailnews/extensions/smime/resources/content/msgCompSMIMEOverlay.js