// Jump Menu
window.onload = InitializeMenu;
window.onunload = function (){};

function InitializeMenu () {
	var newLoc = document.language_chooser.language
	newLoc.options.selectedIndex = 0;
	newLoc.onchange=function() {navigate(this)}
	}

function navigate(choice) {
	var url = choice.options[choice.selectedIndex].value;
	if (url) {
		parent.location.href = url;
	}
}