<!--
menus = [1,13,14,2,23,24,25,3,33,34,4];
function toggleMenu (id, open, force) {
	var ul = document.getElementById("menu" + id);
	var trigger = document.getElementById("menu" + id + "trigger");
	ul.className = (open) ? "menuopen" : "menuclosed";
	trigger.onclick = function() { toggleMenu(id, !open); };
	trigger.className = (open) ? "triggerselected" : "trigger";
	if(!force) {
		var pm = (id > 10) ? Math.floor(id/10) : id;
		for(var i in menus) {
			if(menus[i] != pm && menus[i] != id) {
				toggleMenu(menus[i], false, true);
			}
		}
	}
}
function swapImage(id, isOver) {
	document.getElementById(id).src = isOver ? "/assets/images/icon_" + id + "_over.gif" : "/assets/images/icon_" + id + "_up.gif";
}
//-->