if (document.images) {	var menuOff= new Array(5);			for (var i = 1; i <= 4; i++) {			menuOff[i] = new Image;			menuOff[i].src = "../img/menu" + i + ".gif";		}	var menuOn= new Array(5);			for (var i = 1; i <= 4; i++) {			menuOn[i] = new Image;			menuOn[i].src = "../img/menu" + i + "_on.gif";		}}function chmenu(change,m){	if(change=="on"){		document.images["menu"+m].src = "../img/menu" + m + "_on.gif";	}else if(change=="off"){		document.images["menu"+m].src = "../img/menu" + m + ".gif";	}}