var jsDOM0 = (document.all);var jsDOM1 = (document.getElementById);var jsDOM = jsDOM0 || jsDOM1;function getObj(name){	if (typeof name == "object") return name;	if (jsDOM1) return document.getElementById(name);	if (jsDOM0) return eval('document.all.'+name);	else return null;}function winH(){	if (window.innerHeight) return window.innerHeight;	else if (document.documentElement && document.documentElement.clientHeight)		return document.documentElement.clientHeight;	else if (document.body && document.body.clientHeight)		return document.body.clientHeight;	else return null;}