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;				});
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/0272171cb200d650b1bad08e79c2cb8d4a252f2f/tiny_mce.js/buggy/wp-includes/js/tinymce/tiny_mce.js