/* 
   Function implementing active-site navigation.
   The user, upon selecting an item from a drop-down
   list, is presented with the contents of that
   new location without the need for a click on
   an extra "Go" button.
*/
function jumpPage(newLoc) {
		
   	newPage = newLoc.options[newLoc.selectedIndex].value
	
   		if (newPage != "") {
			
   			window.location.href = newPage
			
   		}
}