function toggleMenuVisibility() {
    if (document.getElementById("menu").style.visibility === 'hidden' || 
        document.getElementById("menu").style.visibility === '' ) {
        document.getElementById("menu").style.visibility = 'visible';
    } 
    else {
        document.getElementById("menu").style.visibility = 'hidden';
    }
}