function setPref(prefName, value) { 
function setPref(prefName, value) { log(value, "setPref(): prefName=" + prefName); 
function setPref(prefName, value){    const nsIPrefBranch = Components.interfaces.nsIPrefBranch;    var prefBranch = Components.classes["@mozilla.org/preferences-service;1"]                     .getService(nsIPrefBranch);    switch (typeof(value)) {    case "boolean":        prefBranch.setBoolPref(prefName, value);        break;    case "number":        prefBranch.setIntPref(prefName, value);        break;    case "string":        prefBranch.setCharPref(prefName, value);        break;    default:        throw new Components.Exception("unsupported pref value: " +                                       typeof(value));    }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a8adf4992620da379274cea3395ed3099b6769d6/calWcapUtils.js/buggy/calendar/providers/wcap/calWcapUtils.js