rem: return escape(name.replace(/\./g, "-").replace(/:/g, "_").toLowerCase()); 
add: var safeName = name.replace(/\./g, "-").replace(/:/g, "_").toLowerCase(); return ecmaEscape(safeName); 
context: function pref_mungeName(name){    return escape(name.replace(/\./g, "-").replace(/:/g, "_").toLowerCase());}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/055eceba10c4b488623e82bde1d9b5085573c401/prefs.js/clean/xul/content/prefs.js