function show_menu(id)
{
    if (document.getElementById && document.getElementById("menu"+id)) {
        document.getElementById("menu"+id).style.visibility = "visible";
    }
}

function hide_menu(id)
{
    if (document.getElementById && document.getElementById("menu"+id)) {
        document.getElementById("menu"+id).style.visibility = "hidden";
    }
}