wHeight = self.innerHeight-80; wWidth = self.innerWidth-16; 
wHeight = self.innerHeight - 60; wWidth = self.innerWidth - 16; 
function resizeInputs() {	var el = document.getElementById('htmlSource');	if (!tinyMCE.isMSIE) {		 wHeight = self.innerHeight-80;		 wWidth = self.innerWidth-16;	} else {		 wHeight = document.body.clientHeight - 80;		 wWidth = document.body.clientWidth - 16;	}	el.style.height = Math.abs(wHeight) + 'px';	el.style.width  = Math.abs(wWidth) + 'px';}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/8f58b134c28977a51f27c05b17e096ce4588e128/source_editor.js/buggy/wp-includes/js/tinymce/themes/advanced/jscripts/source_editor.js