function showMenu(menuid) {
	var menu = document.getElementById(menuid);
	menu.style.height = "auto";
	var im = document.getElementById(menuid + "-image");
	im.src = "/img/d10/" + menuid + "_f2.gif";
}

function hideMenu(menuid) {
	var menu = document.getElementById(menuid);
	menu.style.height = "20px";
	var im = document.getElementById(menuid + "-image");
	im.src = "/img/d10/" + menuid + ".gif";
}