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