var grab;
if (document.getElementById)
{
    grab = function(o) { return document.getElementById(o); }
}
else if (document.all)
{
    grab = function(o) { return document.all[o]; }
}
else
{
    grab = function() { return { style:{} }; }
}