function redirige_filtro(elTipo){
	valor = document.getElementById("filtro").value;
	if(valor!=0){
		if(elTipo=="tipo"){
			laNuevaUrl = "../" + valor;
		} else {
			laNuevaUrl = valor;
		}
		document.location = laNuevaUrl;
	}
}