function menu(name) {
    if (document.getElementById('menu-'+name).style.visibility == 'hidden' || document.getElementById('menu-'+name).style.visibility == '') {
        document.getElementById('menu-'+name).style.visibility = 'visible';
    } else {
        document.getElementById('menu-'+name).style.visibility = 'hidden';
    }
}