var is_ie = (/msie/i.test(navigator.userAgent) && !/opera/i.test(navigator.userAgent));
function GEByID(id) { return (is_ie) ? document.all[id] : document.getElementById(id);}