<!--
  function menuHover(TargetDiv)	{  
	if (document.getElementById(TargetDiv).className == "menuLink")	{
		document.getElementById(TargetDiv).className = "menuHover";
	}
  }
  
  function menuHoverOut(TargetDiv)	{  
	if (document.getElementById(TargetDiv).className == "menuHover")	{
		document.getElementById(TargetDiv).className = "menuLink"; 
	}
  }  
  
  function menuExpand(TargetDiv)	{
	  document.getElementById(TargetDiv).style.display="block";
  }
  
  function menuCollapse(TargetDiv)	{
	  document.getElementById(TargetDiv).style.display="none";	  
  }
  
  function changeColourScheme(n)	{
	  //?menu styling here
	  return;
  }
//-->