if (document.images) {
	menuOn = new Array();
	menuOff = new Array();
	for (i=1; i<=16; i++) {
		menuOn[i] = new Image();
		menuOff[i] = new Image();
		menuOn[i].src = "../images/menu"+i+"on.gif";
		menuOff[i].src = "../images/menu"+i+".gif";
	}
}
function changeMenu(act,num) { 
	if (document.images) { 
		if (act) document.images["menuImg"+num].src = menuOn[num].src;
		else document.images["menuImg"+num].src = menuOff[num].src;
	}
}