function val() {
	var texto = document.getElementById("texto");
	if (texto.value.length!=0) {
		if (texto.value.indexOf('%') != -1 || texto.value.indexOf('<') != -1 || texto.value.indexOf('>') != -1) {
			alert("El texto de la búsqueda contiene carácteres inválidos");
			texto.focus();
			return false;
		}
	}
	return true;
}