function showMenu() {
    var menu = document.getElementById("menu");
    menu.style.display = (menu.style.display=='block'?'none':'block');
    return false;
}