function buscar(op)
{
	var buscador=document.getElementById('palabra');
	if(buscador.value=='')
	{
		alert('Debe ingresar las palabras a buscar');
		buscador.focus();
		return;
	}	
	
	document.location.href='buscador.php?tipo='+op+'&palabra='+buscador.value;
	
}