function jump_page(){obj = document.jump_form.backnumber;index = obj.selectedIndex;
	if(index != 0){	href = obj.options[index].value;location.href = href;}
}