switch (prefBranch.getPrefType(prefName)) { case prefBranch.PREF_BOOL: return prefBranch.getBoolPref(prefName); case prefBranch.PREF_INT: return prefBranch.getIntPref(prefName); 
var type = prefBranch.getPrefType(prefName); switch (type) { case prefBranch.PREF_BOOL: return prefBranch.getBoolPref(prefName); case prefBranch.PREF_INT: return prefBranch.getIntPref(prefName); 
function getPref(prefName, defaultValue) {  try {    var prefBranch = Cc["@mozilla.org/preferences-service;1"].                     getService(Ci.nsIPrefBranch);    switch (prefBranch.getPrefType(prefName)) {    case prefBranch.PREF_BOOL:      return prefBranch.getBoolPref(prefName);    case prefBranch.PREF_INT:      return prefBranch.getIntPref(prefName);    }  }  catch (ex) { /* return the default value */ }    return defaultValue;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/2276958b67460a22490932acf5bdf3f0a3290067/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js