function ShowMenu (objIDshow)
{
	var el = document.getElementById (objIDshow)
	if (el != null)
		el.className = "MenuOpen"
}

function HideMenu (objIDhide)
{
	var el = document.getElementById (objIDhide)
	if (el != null)
		el.className = "MenuClosed"
}

function Highlight (obj)
{
	obj.className = "MenuTabHighlight"
}
function Dehighlight (obj)
{
	obj.className = "MenuTab"
}