function changeMenu( displayP ) {
    //document.getElementById("linksMenu").style.display   = (displayP? "block": "none");
}
function hideMenu() {changeMenu(false);}
function showMenu() {changeMenu(true);}

function menuShows() {
    return false; //document.getElementById("linksMenu").style.display != "none";
}

function toggleMenu() {changeMenu(!menuShows());}