function realizarBusqueda(e){
	tecla = (document.all) ? e.keyCode : e.which;
  if (tecla==13 && hayCriterioBusqueda(document.forms.formulariobusqueda)){
    document.forms.formulariobusqueda.submit();
  }
}

function hayCriterioBusqueda(objeto){
	var palabras = document.getElementById('palabras').value;
	palabras = trim(palabras);
	if (palabras == ''){
    return false;
  }else{
  	return true;
  }
}

function trim(v)
{
  return v.replace(/^\s+/i, '').replace(/\s+$/i, '');
}