menuButton = new Array();
for (i=0;i<17;i++) {
	menuButton[i] = new Image();
}
menuButton[1].src = "img/pro_01.jpg";
menuButton[2].src = "img/pro_02.jpg";
menuButton[3].src = "img/pro_03.jpg";
menuButton[4].src = "img/pro_04.jpg";
menuButton[5].src = "img/pro_05.jpg";
menuButton[6].src = "img/pro_06.jpg";
menuButton[7].src = "img/pro_07.jpg";
menuButton[8].src = "img/pro_08.jpg";
menuButton[9].src = "img/pro_01_2.jpg";
menuButton[10].src = "img/pro_02_2.jpg";
menuButton[11].src = "img/pro_03_2.jpg";
menuButton[12].src = "img/pro_04_2.jpg";
menuButton[13].src = "img/pro_05_2.jpg";
menuButton[14].src = "img/pro_06_2.jpg";
menuButton[15].src = "img/pro_07_2.jpg";
menuButton[16].src = "img/pro_08_2.jpg";

function swapMenuImage(imgName,num){
	document.images[imgName].src = menuButton[num].src;
}