'width': (window.getWidth()-13)+'px' 
'width': (window.getWidth())+'px' 
	resize: function(){		debug._body.setStyles({			'top': (window.getHeight()-debug._hgt+1)+'px',			'width': (window.getWidth()-13)+'px'		});	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/6c25819d2c012343b8275a1228bf14884d89f781/Debugger.js/buggy/Plugins/Debugger.js