var os=null;var wince=1;function getOSType(){if(os==null){os=0;if(navigator.platform=="WinCE"){os=1;}}
return os;}
function isWinCe(){return (getOSType()==wince);}
function getElement(id){getOSType();if(os==1){return document.all(id);}else{return document.getElementById(id);}}