<!--
function buscador(vari)
{
	
}
//-->
<!--
function limpiarbuscador()
{
	document.getElementById('palabra').value="";
}
//-->