<!--
 ns = (document.layers)? true:false
 if (ns) campo = "document.Layer2.document.form1";
 else campo = "document.form1";
 function busca() {
     if (eval(campo+".textoBusca.value")) eval(campo+".submit()");
     else alert("Introduzca algún término de búsqueda");
 }


//-->