// JavaScript Document for controlling the jump menu


function jumpMenu(){
	
	var menu = document.getElementById('Links').selectedIndex;
	var loc = document.getElementById('Links').options[menu].value;
	
	//open a new window
	window.open(loc);
	
}