function menu_oculta(){
document.getElementById("sub1").style.display = "none";
document.getElementById("sub2").style.display = "none";
document.getElementById("sub3").style.display = "none";
}
function menu_muestra(div, propiedad){
document.getElementById(div).style.display = propiedad;
}