function submenu_on ( submenuID )
{
    if (document.getElementById(submenuID) != null) {document.getElementById(submenuID).style.display = "block";}
}
function submenu_off ( submenuID )
{
    if (document.getElementById(submenuID) != null) {document.getElementById(submenuID).style.display = "none";}
}