var hgt = debug._body.offsetHeight;  if (window.khtml) hgt = hgt-3; var resize = function(){ if (debug._body) debug._body.setStyles({ 'top': Window.getHeight()-hgt+1+'px', 'width': Window.getWidth()-13+'px' }); else window.removeEvent('resize', resize); }; window.removeEvent('resize', resize); window.addEvent('resize', resize); debug._gts.setStyle('top', hgt-debug._gts.offsetHeight-1+'px'); debug._body.setStyle('top', Window.getHeight()-hgt+1+'px'); 
debug._hgt = debug._body.offsetHeight; if (window.khtml) debug._hgt -= 3;  debug._gts.setStyle('top', (debug._hgt-debug._gts.offsetHeight-1)+'px'); debug.resize(); 
	resetHeight: function(){		var hgt = debug._body.offsetHeight;				if (window.khtml) hgt = hgt-3;		var resize = function(){			if (debug._body) debug._body.setStyles({					'top': Window.getHeight()-hgt+1+'px',				'width': Window.getWidth()-13+'px'				});			else window.removeEvent('resize', resize);		};		window.removeEvent('resize', resize);		window.addEvent('resize', resize);		debug._gts.setStyle('top', hgt-debug._gts.offsetHeight-1+'px');		debug._body.setStyle('top', Window.getHeight()-hgt+1+'px');		debug._scroll.toBottom();	},
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/2d22591aa759eb3d263726cda7060e1ac3325865/Debugger.js/buggy/Plugins/Debugger.js