// File JScript

function ShowMenu(menu)
{
    document.getElementById('div' + menu + 'dn').style['display'] = 'block';
}

function HideMenu(menu)
{
    document.getElementById('div' + menu + 'dn').style['display'] = 'none';
}

function ItemHover(o, bg, fg)
{
    document.getElementById(o.id).style.backgroundColor = bg;
    document.getElementById(o.id).style['color'] = fg;
}

function NavTo(url)
{
    window.location.href=url;
}