var currentDiv = null;
var currentAction = null;
var currentIdent = null;
var currentTimeout = 100;



function getElement(id)
{
	if (document.getElementById)
		return document.getElementById(id);
	else if (document.all)
		return document.all[id];
	else return null;
}


function changeDiv(divName, state)
{
	var Div = getElement(divName);
	if (!Div)
		return;
		
	if (Div.style.visibility != state)
		Div.style.visibility = state;
}

function doShowMenu(num)
{
	changeDiv("menu-" + num, "visible");	
}

function doHideMenu(num)
{
	changeDiv("menu-" + num, "hidden");	
}

function showMenu(num)
{
	if (currentDiv == num)
	{
		if (currentAction != 'ShowMenu')
		{
			window.clearTimeout(currentIdent);
			currentAction = 'ShowMenu';
			currentIdent = window.setTimeout("doShowMenu(" + num + ")", currentTimeout);
		}
	}
	else
	{
		if (currentIdent)
		{
			window.clearTimeout(currentIdent);
			doHideMenu(currentDiv);
		}
		currentDiv = num;
		currentAction = 'ShowMenu';
		currentIdent = window.setTimeout("doShowMenu(" + num + ")", currentTimeout);
	}
}

function hideMenu(num)
{
	if (currentDiv == num)
	{
		if (currentAction != 'HideMenu')
		{
			window.clearTimeout(currentIdent);
			currentAction = 'HideMenu';
			currentIdent = window.setTimeout("doHideMenu(" + num + ")", currentTimeout);
		}
	}
	else
	{
		if (currentIdent)
		{
			window.clearTimeout(currentIdent);
			doHideMenu(currentDiv);
		}
		currentDiv = num;
		currentAction = 'HideMenu';
		currentIdent = window.setTimeout("doHideMenu(" + num + ")", currentTimeout);
	}
}