function mostrar(menu){
var menuobj=document.getElementById(menu)
menuobj.style.visibility="visible"
return false
}
function ocultar(menu){
var menuobj=document.getElementById(menu)
menuobj.style.visibility="hidden"
}