// JavaScript Document
function menu_jump() {
	var target = document.getElementById('jump_menu');
	destination = target.value;
	
	window.location.href = destination;
}