return s.replace(new RegExp('[\u007F-\uFFFF<>&"\']', 'g'), function (c, b) { 
return s.replace(re, function (c, b) { 
				return s.replace(new RegExp('[\u007F-\uFFFF<>&"\']', 'g'), function (c, b) {					b = cl.entities[c.charCodeAt(0)];					return b ? '&' + b + ';' : c;				});
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/8f58b134c28977a51f27c05b17e096ce4588e128/tiny_mce.js/clean/wp-includes/js/tinymce/tiny_mce.js