var agt=navigator.userAgent.toLowerCase();
var is_major = parseInt(navigator.appVersion);
var is_minor = parseFloat(navigator.appVersion);
var is_nav = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1) && (agt.indexOf('compatible') == -1) && (agt.indexOf('hotjava')==-1));
var isNav4 = (is_nav && (is_major == 4));
var isNav6up = (is_nav && (is_major >= 5));
var is_ie = ((agt.indexOf('msie') != -1) && (agt.indexOf('opera') == -1));
var isIE = (is_ie && (is_major >= 4));

function showElement(elementName) {
	if(isIE) document.all[elementName].style.visibility = "visible";
	else if(isNav4) document[elementName].visibility = "show";
	else if(isNav6up) {
		e = document.getElementById(elementName);
		e.style.visibility = 'visible';
	}
}

function hideElement(elementName) {
	if(isIE) document.all[elementName].style.visibility = "hidden";
	else if(isNav4) document[elementName].visibility = "hide";
	else if(isNav6up) {
		e = document.getElementById(elementName);
		e.style.visibility = 'hidden';
	}
}

var menuItem;
var menu2Item;
var navTimer;
var menuCount = 7;
var menuImgsOff = new Array(menuCount);
var menuImgsOn = new Array(menuCount);

if(document.images) {
	for(var i = 0; i < menuCount; i++) {
		menuImgsOff[i] = new Image();
		menuImgsOff[i].src = "images/tnav" + (i+1) + ".gif";
		menuImgsOn[i] = new Image();
		menuImgsOn[i].src = "images/tnav" + (i+1) + "_on.gif";
	}
}
	
function showMenu(num) {
	clearTimeout(navTimer);
	for(var i=1; i <= menuCount; i++) {
		if(i != num) {
			document["navImg" + i].src = menuImgsOff[i-1].src;
			hideElement("navMenu" + i);
		}
	}
	showElement("navMenu" + num);
	document["navImg" + num].src = menuImgsOn[num-1].src;
}

function resetTimer() {
	clearTimeout(navTimer);
}
		
function resetMenu(i) {
	navTimer = setTimeout("hideMenu(" + i + ")", 1000);
}

function hideMenu(i) {
	document["navImg" + i].src = menuImgsOff[i-1].src;
	hideElement('navMenu' + i);
	showDefaultMenu(menuItem,menu2Item);
}

function showDefaultMenu(num1,num2) {
	menuItem = num1;
	menu2Item = num2;
	if (menuItem != 0) {
		showElement("navMenu" + menuItem);
		document["navImg" + menuItem].src = menuImgsOn[menuItem-1].src;
		if (menu2Item != 0) document.all["m" + menuItem + "_" + menu2Item].style.color = "ABAAA3";
	}
	if (menuItem == 7) document["about"].src = "images/company-img.gif";
	else document["about"].src = "images/pic1.jpg";
}	
	


	


