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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/955596c7adf1f76a1a0c27c25d7fc036dd8efb94/prefs.js/buggy/extensions/irc/xul/content/prefs.js