return html.replace(new RegExp('[ \t\r\n]+', 'g'), '').toLowerCase() == ""; 
return html.replace(new RegExp('[ \t\r\n]+', 'g'), '').toLowerCase() == ''; 
			function isEmptyHTML(html) {				return html.replace(new RegExp('[ \t\r\n]+', 'g'), '').toLowerCase() == "";			}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/5aedce1521db51e0580dc7c394a64ebd1b655534/tiny_mce.js/buggy/wp-includes/js/tinymce/tiny_mce.js