//
//  This function controls the navigation jumps to selected pages
//
	function jumpPage(newLoc) {
	    newPage = newLoc.options[newLoc.selectedIndex].value
	    
	    if (newPage != "") {
	        window.location.href = newPage
	    }
	}