/*
 * menuexp.js - implements an expandable menu based on a HTML list
 */

function SwitchMenu(ItemsId) {
    var menuItems = document.getElementById(ItemsId);

    menuItems.style.display = (menuItems.style.display == "block") ? "none" : "block";
    return false;
}