function FlickBetween(srcName, hvrName) {
	var srcButton = document.getElementById(srcName);
	var hvrButton = document.getElementById(hvrName);
	if (srcButton!=null && hvrButton!=null)
	{
		if (hvrButton.style.display == "") {
			hvrButton.style.display = "none";
			srcButton.style.display = "block";
		}
		else {
			hvrButton.style.display = "block";
			srcButton.style.display = "none";
		}
	}
}
function HideAll() {
	hide('menu1-hover');
	hide('menu2-hover');
	hide('menu3-hover');
	hide('menu4-hover');
	hide('menu5-hover');
	hide('menu6-hover');
	show('menu1');
	show('menu2');
	show('menu3');
	show('menu4');
	show('menu5');
	show('menu6');
	HideSubMenu();
}
function ShowSubMenu() {
	show('submenu1');
	show('submenu2');
	show('submenu3');
	show('submenu4');
	show('submenu5');				
}
function HideSubMenu() {
	hide('submenu1');
	hide('submenu2');
	hide('submenu3');
	hide('submenu4');
	hide('submenu5');
	hide('submenu1-h');
	hide('submenu2-h');
	hide('submenu3-h');
	hide('submenu4-h');
	hide('submenu5-h');
}
function hide(x)
{
	var thing = document.getElementById(x);
	if (thing!=null)
		thing.style.display = 'none';
}
function show(x)
{
	var thing = document.getElementById(x);
	if (thing!=null)
		thing.style.display = 'block';
}