function jumpto(){
	location = document.links.link_select.options[document.links.link_select.selectedIndex].value
}