if(document.all && !document.getElementById)
{
    document.getElementById = function(id)
    {
         return document.all[id];
    }
}
function currentIs(menuitem)
{
    document.getElementById(menuitem).className = "current";
}