function doClear(theText)
{if (theText.value == theText.defaultValue) theText.value = ""}

function Borrar()
	{document.Formulario.reset()} 

function Validar_texto (Form)
	{var TodoOk=true;
		if ((Form.texto1.value.length<3) || (Form.texto1.value==""))
		{TodoOk=false;
		 alert ("Atención: No ha introducido ningún valor en el argumento #1 de búsqueda, introduzca alguna palabra o déjelo vacío")}
		if ((Form.texto2.value.length<3) && (Form.texto2.value != "") )
		{TodoOk=false;
		 alert ("Atención: No ha introducido ningún valor en el argumento #2 de búsqueda, introduzca alguna palabra o déjelo vacío")}
		if ((Form.texto3.value.length<3) && (Form.texto3.value != "") )
		{TodoOk=false;
		 alert ("Atención: No ha introducido ningún valor en el argumento #3 de búsqueda, introduzca alguna palabra o déjelo vacío")}
		if ((Form.texto4.value.length<3) && (Form.texto4.value != "") )
		{TodoOk=false;
		 alert ("Atención: No ha introducido ningún valor en el argumento #4 de búsqueda, introduzca alguna palabra o déjelo vacío")}
		 
	if (TodoOk) 
	{return true}
	else 
	{return false}
	}