// JavaScript Document
  function netie(net, ie) {
  if ((navigator.appVersion.substring(0,3) >= net && navigator.appName == 'Netscape' && net != -1) || (navigator.appVersion.substring(0,3) >= ie && navigator.appName.substring(0,9) == 'Microsoft' && ie != -1))
  return true;
  else return false;
  }
	
	var oldColor;
	function onMouseOverMenu( option ) {
	  oldColor = option.style.color;
		option.style.color = "#FF6600";
	}

	function onMouseOutMenu( option ) {
		option.style.color = oldColor;
	}