var imagePath = "images/";

function init() {
	document.menu1.src = imagePath + "menu1.gif";
	document.menu2.src = imagePath + "menu2.gif";
	document.menu3.src = imagePath + "menu3.gif";
	document.menu4.src = imagePath + "menu4.gif";
	document.menu5.src = imagePath + "menu5.gif";
	document.menu6.src = imagePath + "menu6.gif";
	document.menu7.src = imagePath + "menu7.gif";
}

function menuON(name) {
	document.images[name].src = imagePath + name + "_on.gif";
}

function menuOFF(name) {
	document.images[name].src = imagePath + name + ".gif";
}