// Menú
 
function showhide_menu(i) 
{
 for(n=1;n<=9;n++) 
 {
  var mn = document.getElementById('menu0' + n)
  if (mn)
   if (n == i) 
   {
    if (mn.style.visibility == 'hidden') mn.style.visibility = 'visible'
    else mn.style.visibility = 'hidden'
   }
   else mn.style.visibility = 'hidden'
 }
}
 

function divShowHide(div)
{
 if (document.getElementById(div).style.display == 'none') 
  document.getElementById(div).style.display = ''
 else
  document.getElementById(div).style.display = 'none';
}