rem: html = html.replace(/[^ -~\r\n\t]/g, function(c) { return '&#'+c.charCodeAt(0)+';'; }); 
add: html=html.replace(/[^ -~\r\n\t]/g,function(c){ return "&#"+c.charCodeAt(0)+";"; }); 
context:     html = html.replace(/[^ -~\r\n\t]/g, function(c) { return '&#'+c.charCodeAt(0)+';'; });
meta: 6015	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6015/d8776708e0e10dfa0ab6ee1d0fa9e512d8d16348/XinhaCore.js/clean/packages/acs-templating/www/resources/xinha-nightly/XinhaCore.js