// JavaScript Document
function goTo (page) {
/* This function is called from the navigation menu
   to jump to the designated URL. Empty values
   are ignored and "--" indicates a menu seperator    */
   
	if (page != "" ) {
		if (page == "--" ) {
			resetMenu();
		} else {
			document.location.href = page;
		}
	}
	return false;
}
function resetMenu () {
/* Resets the menu to the specified menu item           */   
	
	//4-23-08 gmenu is not an object and was generating an error so it was commented out. 
	//document.gmenu.page.options[0].selected = true;
}