// Begin jump menu scripts
function jumpMenu(form) { 
	var newIndex = document.form1.menu1.selectedIndex; 
	if ( newIndex == 0 ) { 
		alert("Please select a location!"); 
	} else { 
		cururl = document.form1.menu1.options[ newIndex ].value; 
		//window.location.assign( cururl ); 
		document.location.href = cururl ;
	} 
} 
// End jump menu scripts