var detect = navigator.userAgent.toLowerCase();
var OS,browser,version,total,thestring;

if (checkIt('konqueror'))
{
	browser = "Konqueror";
	OS = "Linux";
}
else if (checkIt('safari')) browser = "Safari"
else if (checkIt('omniweb')) browser = "OmniWeb"
else if (checkIt('opera')) browser = "Opera"
else if (checkIt('webtv')) browser = "WebTV";
else if (checkIt('icab')) browser = "iCab"
else if (checkIt('msie')) browser = "Internet Explorer"
else if (!checkIt('compatible'))
{
	browser = "Netscape Navigator"
	version = detect.charAt(8);
}
else browser = "An unknown browser";

if (!version) version = detect.charAt(place + thestring.length);

if (!OS)
{
	if (checkIt('linux')) OS = "Linux";
	else if (checkIt('x11')) OS = "Unix";
	else if (checkIt('mac')) OS = "Mac"
	else if (checkIt('win')) OS = "Windows"
	else OS = "an unknown operating system";
}

function checkIt(string)
{
	place = detect.indexOf(string) + 1;
	thestring = string;
	return place;
}

Menu = function() {
	
//ie indexes the elements backward and requires li, that is why z-index has to be reduced (1000-i)
//firefox requires indexed ul
//opera works well
  
   if(browser == "Netscape Navigator") {
      var mL = document.getElementById('nav').getElementsByTagName('ul');
      for (var f=0; f<mL.length; f++) {
         mL[f].style.zIndex=f+10;
      }
   }
	
   if(browser == "Internet Explorer") {
      var ieLIs = document.getElementById('nav').getElementsByTagName('li');
      for (var i=0; i<ieLIs.length; i++) {
         if (ieLIs[i]) {
            ieLIs[i].style.zIndex=(1000-i);
            ieLIs[i].onmouseenter = function() {
               this.className+=" iehover";
            }
            ieLIs[i].onmouseleave = function() {
               this.className=this.className.replace(' iehover', '');
            }
         }
      }
   }
}
window.onload = Menu;

//if (window.attachEvent) window.attachEvent('onload', ieHover);