function jumppage(newloc) {
	newpage = newloc.options[newloc.selectedIndex].value;
	if (newpage != "") {
		window.location.href = newpage;
	}
}