function show_menu() {
    document.getElementById("menu").style.display = 'block';
    document.getElementById("menuh2").style.display = 'none';
}
function hide_menu() {
    document.getElementById("menu").style.display = 'none';
    document.getElementById("menuh2").style.display = 'block';
}