window.onload = init;

function init() {
	document.getElementById('jumpMenu').onchange = jump;
	document.getElementById('jumpMenu').selectedIndex = 0;
}

function jump() {
	var newURL = document.getElementById('jumpMenu').value;
	
	if(newURL)
		window.location = newURL;
}