var menu = new Array();
menu[0] = "home";
menu[1] = "projects";
menu[2] = "robot";
menu[3] = "members";
menu[4] = "courses";
menu[5] = "software";

var menuImage1 = new Array();
var menuImage2 = new Array();
for(i = 0; i < 6; i++) {
	menuImage1[i] = new Image(100, 25);
	menuImage1[i].src = "images/" + menu[i] + "1.gif";
	menuImage2[i] = new Image(100, 25);
	menuImage2[i].src = "images/" + menu[i] + "2.gif";
} //for()

function menuhighlight(i, j) { //highlight()
	if(j == 1) {
		document.images[menu[i]].src = menuImage1[i].src;
	} else {
		document.images[menu[i]].src = menuImage2[i].src;
	} //if()else
} //highlight()