function valida_busqueda ( )
{
	var value = document.getElementById("b").value;	
	if ( !value )
	{
		alert ( "No has escrito algo qué buscar." );
		return false;
	}
	else
	{
/*		document.getElementById("b").value= escape(value);	*/
		return true;
	}
}