var preload = false;

var path = "/images/";
var prefix = "menu_";
var suffix = ".gif";
var modes = ["", "-over", "-down"];
var names = ["about", "menu", "map", "catering", "contact", "reviews"];
var menu = new Array();
		
function newImage(src)
{	
	result = new Image();
	result.src = src;
	return result;
}	
	
function change(img, mode)
{	
	if (preload) {	
		imagename = img + mode;
		document.images[img].src = menu[imagename].src;
 	}	
}	
	
for (i = 0; i < names.length; i++) {
	for (j = 0; j < modes.length; j++) {
		imagename = names[i] + modes[j];
		menu[imagename] = newImage(path + prefix + imagename + suffix);
	}	
}
preload = true;