function menuMouseOver (id) {
    /* Torna o submenu visível */
    var sub = document.getElementById(id + "_subsections");
    if (sub)
        sub.style.visibility = "visible";
}




function menuMouseOut (id) {
    /* Torna o submenu invisível */
    var sub = document.getElementById(id + "_subsections");
    if (sub)
        sub.style.visibility = "hidden";
}