return s.replace(re, function (c, b) { return b ? '&#' + c.charCodeAt(0) + ';' : c; 
return s.replace(re, function (c) { return '&#' + c.charCodeAt(0) + ';'; 
				return s.replace(re, function (c, b) {					return b ? '&#' + c.charCodeAt(0) + ';' : c;				});
3623	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3623/32d3515ec5cf941c718954b41f19cc777ee4a50e/tiny_mce_src.js/buggy/ain7-website/ain7/media/js/tiny_mce/tiny_mce_src.js