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