var dom = document.getElementById ? true:false;
var nn4 = document.layers ? true:false;
var ie4 = document.all ? true:false;

var numberMenus = 4;
var currentMenu = 0;
var closeTimer;
var openTimer;
var selectBoxPage = false;

if (currentSection == 10) {
	currentSection = 1;
	selectBoxPage = true;
}

function getLayer(name) {
	var layer;
	if (ie4) layer = document.all[name].style; 
	if (nn4) layer = eval('document.layers["' + name + '"]');
	if (dom) layer = document.getElementById(name).style;
	return layer;
}

function hideSelectBox() {
	var layer = getLayer("selectBox");
	layer.visibility = "hidden";
}

function showSelectBox() {
	var layer = getLayer("selectBox");
	layer.visibility = "visible";
}
	
function hideMenu(menuID) {
	var layer = getLayer("Menu" + menuID);
	layer.visibility = "hidden";
	currentMenu = 0;
//	document.images["Nav" + menuID].src = "images/nav/" + menuID + "_off.gif";
}

function hideAll() {
	if (selectBoxPage) showSelectBox();
	if (currentMenu > 0 && currentMenu != currentSection) document.images["Nav" + currentMenu].src = "images/nav/" + currentMenu + "_off.gif";
	for (i = 1; i <= numberMenus; i++)
		hideMenu(i);
}

function openMenu(menuID) {
	clearTimeout(self.openTimer);
	clearTimeout(self.closeTimer);
	hideAll();
	self.openTimer = setTimeout("showMenu(" + menuID + ");", 50);
}	

function showMenu(menuID) {
	if (selectBoxPage && menuID > 1) hideSelectBox();
	clearTimeout(self.closeTimer);
	for (i = 1; i <= numberMenus; i++) hideMenu(i);
	var layer = getLayer("Menu" + menuID);
	layer.visibility = "visible";
	currentMenu = menuID;
}

function mouseOn(menuID) {
	if (menuID > 0) document.images["Nav" + menuID].src = "images/nav/" + menuID + "_on.gif";
	clearTimeout(self.closeTimer);
}
	
function startCloseTimer() {
		self.closeTimer = setTimeout("hideAll();", 50);
}

function mouseOff(menuID) {
	if (menuID > 0 && menuID != currentMenu && menuID != currentSection) document.images["Nav" + menuID].src = "images/nav/" + menuID + "_off.gif";
	clearTimeout(self.openTimer);
	startCloseTimer();
}