// JScript source code



    function displayMenu(which) {
        var menu = document.getElementById(which + 'Menu');
        var nav = document.getElementById('navigation');
        //alert(nav.offsetTop);
        if (nav.offsetTop == 0) {
            menu.style.top = 100+'px';
        } else {
            menu.style.top = 82+'px';
        }
        menu.style.left = 527+'px';
        menu.style.visibility = 'visible';
        
    }
    function hideMenu(which) {
        var menu = document.getElementById(which + 'Menu');
        menu.style.visibility = 'hidden';
    }