if (document.images) {
  image1on = new Image();
  image1on.src = "menu1.gif";

  image2on = new Image();
  image2on.src = "menu2.gif";

  image3on = new Image();
  image3on.src = "menu3.gif";

  image4on = new Image();
  image4on.src = "menu4.gif";

  image1off = new Image();
  image1off.src = "menu1over.gif";

  image2off = new Image();
  image2off.src = "menu2over.gif";

  image3off = new Image();
  image3off.src = "menu3over.gif";

  image4off = new Image();
  image4off.src = "menu4over.gif";

}

function changeImages() {
  if (document.images) {
    for (var i=0; i<changeImages.arguments.length; i+=2) {
      document[changeImages.arguments[i]].src = eval(changeImages.arguments[i+1] + ".src");
    }
  }
}

// end first set

current_menu_object = "";
current_menu_state = "off";
current_nav_object = "";
timeoutID = 0;

function set_state(object,nav)
	{
	if (object != current_menu_object && current_menu_object != "")
		{
			//document.all[current_menu_object].style.visibility = 'hidden';
			lyr=getlayer(current_menu_object)
			lyr.visibility = 'hidden';
		}
	current_menu_object = object;
	current_menu_state = "on";
	current_nav_object = nav;
	}

function menuon()
	{
	//document.all[current_menu_object].style.visibility = 'visible';	
	lyr=getlayer(current_menu_object)
	lyr.visibility = 'visible';
	}

function menuoff()
	{
	if (timeoutID != 0)
		{
		clearTimeout(timeoutID);
		}
	current_menu_state = "off";
	timeoutID = setTimeout('hide_menu()', 500);
	}

function hide_menu()
	{
	if (current_menu_state == "off")
		{
		//document.all[current_menu_object].style.visibility = 'hidden';
		lyr=getlayer(current_menu_object);
	  lyr.visibility = 'hidden';
		changeImages(current_nav_object, current_nav_object+'on');
		
		}
	}	
/* document.getElementById = IE 5 & 6, NS 6
   document.all = IE
	 document.layers = NS 4.0
*/

	function getlayer(layerid)
		{
			rLayer = (document.getElementById) ? document.getElementById(layerid).style : (document.all) ? document.all[layerid].style : (document.layers) ? document.layers[layerid] : null;
			return rLayer;
			}