var lastMenuID = "";
var menuTimer = 0;

function getDiv( id ) {
	if (document.all) {
		return document.all[id].style;
	} else {
		return document.getElementById(id).style;
	}
	return 0;
}

function showMenu( id ) {
	if (lastMenuID != "") hideMenu( lastMenuID );
	var dv = getDiv( id );
	if (dv) {
		dv.visibility = "visible";
	}
	lastMenuID = id;
	cT();
	return 0;
}

function hideMenu( id ) {
	var dv = getDiv( id );
	if (dv) {
		dv.visibility = "hidden";
	}
	return 0;
}

function sT() {
	menuTimer = setTimeout("hideMenu(lastMenuID)",1000);
}

function cT() {
	clearTimeout(menuTimer);
}