function menu_over(id) {
    document.getElementById(id).style.display = "none";
    document.getElementById(id + "2").style.display = "inline";
}

function menu_out(id) {
    document.getElementById(id + "2").style.display = "none";
    document.getElementById(id).style.display = "inline";
}