// JavaScript Document
if (document.images) {
	menu10 = new Image();
	menu10.src = "images/menu10.jpg";
	menu11 = new Image();
	menu11.src = "images/menu11.jpg";	
	menu20 = new Image();
	menu20.src = "images/menu20.jpg";
	menu21 = new Image();
	menu21.src = "images/menu21.jpg";	
	menu30 = new Image();
	menu30.src = "images/menu30.jpg";
	menu31 = new Image();
	menu31.src = "images/menu31.jpg";
	menu40 = new Image();
	menu40.src = "images/menu40.jpg";
	menu41 = new Image();
	menu41.src = "images/menu41.jpg";	
}

function ChangeMenu(num) {
	if (document.images) {
		imgSrc = eval("menu" + num + "1.src");
		document['menu' + num].src = imgSrc;
	}
}

function RestoreMenu(num) {
	if (document.images) {
		imgSrc = eval("menu" + num + "0.src");
		document['menu' + num].src = imgSrc;
	}
}