var openMenu;
var timeout;

function highlight(caller)
{
	caller.style.backgroundColor = "#000000";
}

function dimlight(caller)
{
	caller.style.backgroundColor = "transparent";
}

function show_menu(strmenu)
{
	cancel_timeout();
	hide_menu();
	openMenu = document.getElementById(strmenu);
	openMenu.style.zIndex = 1;
	openMenu.style.visibility = "visible";
}

function timeout_menu(strmenu)
{
	openMenu = document.getElementById(strmenu);
	timeout = window.setTimeout("hide_menu()", 500);
}

function cancel_timeout()
{
	if(openMenu)
	{
		window.clearTimeout(timeout);
	}
}

function hide_menu()
{
	if(openMenu != null)
	{
		openMenu.style.zIndex = -1;
		openMenu.style.visibility = "hidden";
	}
}

function link(url)
{
	window.location = url;
}