<!--

//menu constructor
function menu(submenu_nbr,visibility){ 
  div_name="subglobal"+submenu_nbr;  //create sub menu id name
  this.numberofmenuitems = numofitems;  //store qty of submenu divs
  this.thediv = document.getElementById(div_name);  //get a reference to this submenu div
  this.thediv.style.visibility = visibility;   //set the submenu visibility
}

//pointer is over the main menu button, display a submenu & hide our details
function ehandler(event,theobj,thisitem)
{
  for (var i=1; i<= theobj.numberofmenuitems; i++)
  { var shutdiv =eval( "menuitem"+i+".thediv");
    shutdiv.style.visibility="hidden";
  }
  hidedetails(numofitems);
  theobj.thediv.style.visibility="visible";  //display sub menu items
  
  //clear all highlighted buttons, then set one as highlighted whilst moving pointer over submenus
  clear_highlights();
  mainmenu_name= "gl"+thisitem;
  document.getElementById(mainmenu_name).className = "selected"; 
}

//Check if the pointer is still within the menu area if not, hide the submenus & display our details
function closesubnav(event){
  var enabled=false;	//turn this feature on/off without having to change all the pages
  if (enabled) {
	  if ((event.clientY < miny)||(event.clientY > maxy))
		for (var i=1; i<= numofitems; i++){
		{ var shutdiv =eval('menuitem'+i+'.thediv');
		  shutdiv.style.visibility='hidden';
		}
	   //redisplay our contact details
		showdetails(numofitems);
		clear_highlights();  //clear all highlighted buttons
	  }
  }
}

function showdetails(thisitem)
{
  //Re-deisplay our contact details when no menu in use
  divname="subglobal"+thisitem;  
  this.thediv = document.getElementById(divname);
  this.thediv.style.visibility = "visible";
}

function hidedetails(thisitem)
{
  //Hide our contact details when submenu in use
  divname="subglobal"+thisitem;  
  this.thediv = document.getElementById(divname);
  this.thediv.style.visibility = "hidden";
}

function clear_highlights()
{
    //reset all highlighted main menu buttons by changing the class associated with it
    for (var i=1; i<= nbrmenus; i++)
	{
    mainmenu_name= "gl"+i;
    document.getElementById(mainmenu_name).className = "normal";
    }
}
 -->