// JavaScript Document

function muestraMenu(){
document.getElementById("TitSelector").style.visibility="visible"; 
}

function ocultaMenu(){
document.getElementById("TitSelector").style.visibility="hidden"; 
}

function foco() {
document.busqueda.palabrabuscar.focus();
document.busqueda.palabrabuscar.select();
}