function In(n) {
	document.images["menu" + n].src = "graphics/menu" + n + "on.png";
}

function Out(n) {
	document.images["menu" + n].src = "graphics/menu" + n + "off.png";
}