function initJumpMenus() {
	// Turns all <select> elements with the 'jumpmenu' class into jump menus
	var selectElements = document.getElementsByTagName("select");
	for( i = 0; i < selectElements.length; i++ ) {
		// Check for the class and make sure the element has an ID
		if( selectElements[i].className == "jumpmenu" && document.getElementById(selectElements[i].id) != "" ) {
			jumpmenu = document.getElementById(selectElements[i].id);
			jumpmenu.onchange = function() {
				if( this.options[this.selectedIndex].value != '' ) {
					// Redirect
					location.href=this.options[this.selectedIndex].value;
				}
			}
		}
	}
}

window.onload = function() {
	initJumpMenus();
}