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() == "";			}
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