function goTo (page,anc) {
/* This function is called from the navigation menu
   to jump to the designated URL. Empty values
   are ignored and "--" indicates a menu seperator    */

   var ancor='';
  if (anc!=undefined){
      ancor='#'+anc;
  }
	if (page != "" ) {
		if (page == "--" ) {
			resetMenu();
		} else {
			document.location.href = page + "-"+ document.getElementById('id_marque').selectedIndex+".htm";
		}
	}
	return false;
}