function showHideMenu(menuid, onoff)
{
    document.getElementById(menuid).style.display = onoff;
}

function keepNavStatus(menu, nav, status)
{
    navi = document.getElementById(nav);
    if(status)
    {
        menu.style.display = "block";
        navi.className = nav + "on";
    }
    else
    {
        menu.style.display = "none";
        navi.className = navi.className.replace("on", "");;
    }
}