<!--
    function switchMenu(obj){
        var el = document.getElementById(obj);
        if(el != null){
            if(el.style.display != 'none'){
                el.style.display = 'none';
            }else{
                el.style.display = '';
            }
        }else{
            alert(obj + " seems to be targeted incorrectly.")
        }
    }
-->