<!--
var dias = new Array("domingo", "lunes", "martes", "miércoles", "jueves", "viernes", "sábado");

function buscarWeb(formulario) {
  if(formulario.query.value == "") {
    alert("ĄDebes introducir el texto que quieres buscar!");
    formulario.query.focus();
    return false;
  }
  return true;
}
//-->