function jumpTo(s) {
	location.href = s.options[s.selectedIndex].value;return 1;
}