function getWindowHeight(a){if(a==undefined)a=window;if(a.innerHeight){return a.innerHeight}else{if(a.document.documentElement&&a.document.documentElement.clientHeight){return a.document.documentElement.clientHeight}return a.document.body.offsetHeight}}function getWindowWidth(a){if(a==undefined)a=window;if(a.innerWidth){return a.innerWidth}else{if(a.document.documentElement&&a.document.documentElement.clientWidth){return a.document.documentElement.clientWidth}return a.document.body.offsetWidth}}