function getElement(id){if(document.all){return eval("document.all['"+id+"']");}else{return document.getElementById(id);}}