var old = 0;

if (document.layers)
{
	window.captureEvents(Event.MOUSEDOWN);
	window.onmousedown = hide_all;
} else
{
	document.onmousedown = hide_all;
}
function show_layer(x)
{
	if (Number(x) < 1)
		return;

	if(document.layers)
		document.layers["menu"+x].visibility="show";
	else
		document.all["menu"+x].style.visibility="visible";
}
function hide_layer(x)
{
	if (Number(x) < 1)
		return;
	if(document.layers)
		document.layers["menu"+x].visibility="hide";
	else
		document.all["menu"+x].style.visibility="hidden";
}
function showhide(x)
{
	hide_layer(old);	
	show_layer(x);

	old = x;
}
function hide_all()
{
	hide_layer(old);
}