// Menu Functions
//
function ShowMenu()
{
	document.getElementById("MainMenu").style.display = "block";
}

function HideMenu()
{
	document.getElementById("MainMenu").style.display = "none";
}

function show_menu2(subMenu, show)
{
    menuDiv = document.getElementById(subMenu);
    if (show == 1) {
        menuDiv.style.display = "block";
    }
    else {
        menuDiv.style.display = "none";
    }
}