<!--
(document.getElementById ? DOMCapable = true : DOMCapable = false);
function hide(menuName)
{
    if (DOMCapable)
	{
	var theMenu = document.getElementById(menuName);
	theMenu.style.visibility = 'hidden';
	}
}

function show(menuName)
{
    if (DOMCapable)
	{
	var theMenu = document.getElementById(menuName);
	theMenu.style.visibility = 'visible';
	}
}
//-->