function menu()
{
if (document.getElementById('menux').style.visibility == 'visible')
{
document.getElementById("menux").style.visibility = "hidden" ;
document.getElementById("menu2x").style.visibility = "hidden" ;
document.getElementById("menu2x").style.display = "none" ;
}
else
{
document.getElementById("menux").style.display = "block" ;
document.getElementById("menu2x").style.display = "block" ;
document.getElementById("menux").style.visibility = "visible" ;
document.getElementById("menu2x").style.visibility = "visible" ;
}
}