var formatter = Components.classes["@mozilla.org/toolkit/URLFormatterService;1"] .getService(Components.interfaces.nsIURLFormatter); var formattedUrl = formatter.formatURLPref(aPrefName); 
var formattedUrl = getFormattedRegionURL(aPrefName); 
function openFormattedRegionURL(aPrefName){  var formatter = Components.classes["@mozilla.org/toolkit/URLFormatterService;1"]                             .getService(Components.interfaces.nsIURLFormatter);  var formattedUrl = formatter.formatURLPref(aPrefName);    var uri = Components.classes["@mozilla.org/network/io-service;1"]            .getService(Components.interfaces.nsIIOService)            .newURI(formattedUrl, null, null);  var protocolSvc = Components.classes["@mozilla.org/uriloader/external-protocol-service;1"]                    .getService(Components.interfaces.nsIExternalProtocolService);  protocolSvc.loadUrl(uri);  }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/643b57186e043772c5468fac74e53726ba85eda4/mailCore.js/clean/mail/base/content/mailCore.js