function jumpMenu(theSelector) {
	document.location.href = theSelector.value;
}