var destino;
function ir (destino){
	location.href = destino;
}

var Sel;
function saltar (Sel){
	// usada por el menú de salto SELECT en el buscador.php
	// fuente: http://www.hipertext.net/web/pag112.htm
	if (Sel.menusalto.selectedIndex != 0){
		ir (Sel.menusalto.options[Sel.menusalto.selectedIndex].value);
	}
}