if (this.webkit419) return this.innerHeight; if (this.opera) return document.body.clientHeight; 
if (Client.engine.webkit419) return this.innerHeight; if (Client.engine.opera) return document.body.clientHeight; 
	getHeight: function(){		if (this.webkit419) return this.innerHeight;		if (this.opera) return document.body.clientHeight;		return document.documentElement.clientHeight;	},
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/db54fd2c189ed22d6be9e1d097dc31001ac7f994/Window.Size.js/clean/Window/Window.Size.js