function DisplayMenu( menuName )
{
	menu = document.getElementById( menuName )
	menu.style.visibility = "visible"
	menu.style.display = "block"

	expander = document.getElementById( menuName + "Expander" )
	expander.src = 'Images/Icons/OrangeCircleDownArrow.gif'
	expander.alt = 'Hide submenu'	
}

function HideMenu( menuName )
{
	menu = document.getElementById( menuName )
	menu.style.visibility = "hidden"
	menu.style.display = "none"

	expander = document.getElementById( menuName + "Expander" )
	expander.src = 'Images/Icons/OrangeCircleLeftArrow.gif'
	expander.alt = 'Display submenu'
}

function flipMenu( menuName )
{
	if( document.getElementById( menuName ).style.visibility == "hidden" ) {
		DisplayMenu( menuName )
	} else {
		HideMenu( menuName )
	}
}