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: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/27b5812d84d217826cc4d4df4b7b1113cb7c7232/prefs.js/buggy/xul/content/prefs.js