// JavaScript Document

var inmenu=false;
var lastmenu=0;

function Menu(current) {
	if (!document.getElementById) return;
	inmenu=true;
	oldmenu=lastmenu;
	lastmenu=current;
	if (oldmenu) Erase(oldmenu);
	m=document.getElementById("menu-" + current);
	box=document.getElementById(current);
	box.style.visibility="visible";
}

function Erase(current) {
	if (!document.getElementById) return;
	if (inmenu && lastmenu==current) {
		return;
	}
	m=document.getElementById("menu-" + current);
	box=document.getElementById(current);
	box.style.visibility="hidden";
}

function Timeout(current) {
	inmenu=false;
	window.setTimeout("Erase('" + current + "');",500);
}

function Highlight(menu,item) {
	if (!document.getElementById) return;
	inmenu=true;
	lastmenu=menu;
	obj=document.getElementById(item);
}

function UnHighlight(menu,item) {
	if (!document.getElementById) return;
	Timeout(menu);
	obj=document.getElementById(item);
}