if (!window.khtml) debug._hgt -= 3; 
if (!window.webkit) debug._hgt -= 3; 
	resetHeight: function(){		debug._hgt = debug._body.offsetHeight;		if (!window.khtml) debug._hgt -= 3;		else debug._hgt -= 1;		debug._gts.setStyle('top', (debug._hgt - debug._gts.offsetHeight - 1));		debug.resize();		debug._scroll.toBottom();	},
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/1e252de3cec88234b44c3798f1f4966d2b8d8a4a/Debugger.js/clean/Misc/Debugger.js