//creates the menu for all pages
var ActiveMenu = null;

function hideActive() {
	if (ActiveMenu !== null) {
	hideIt(ActiveMenu);
	ActiveMenu = null;
	}
}

function popMenu(M) {
	hideActive();
	ActiveMenu = document.getElementById(M);
	if (ActiveMenu.filters) ActiveMenu.filters[1].apply();
	showIt(ActiveMenu);
	if (ActiveMenu.filters) ActiveMenu.filters[1].play(0.5);
}

function hideIt(object) {
   object.style.visibility="hidden";
}

function showIt(object) {
   object.style.visibility="visible";
}