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";
}

function show(name,src) {
    if (document.images)
        document.images[name].src = src;
}