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

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

function Validar_numero (Form)
	{var TodoOk=true;
		if ((Form.numero.value.length<1) || (Form.numero.value=="-") || (Form.numero.value==""))
		{TodoOk=false;
		 alert ("Atención: No ha introducido ningún valor en número a buscar")}
		 
	if (TodoOk) 
	{return true}
	else 
	{return false}
	}