function jumper(n) {
	f = eval("document.nav.go" + n);
	i = f.selectedIndex;
	x = f.options[i].value;
	if (x != "") {
		location.href = x;
	}
}