var menuImages = new Array();
var menuImg = new Array();

//images for menu, fixing disapearing menu images bug for Opera only
menuImages[0] = "/i/MouseOVER_buttons/masks_over.gif";
menuImages[1] = "/i/MouseOVER_buttons/textiles_over.gif";
menuImages[2] = "/i/MouseOVER_buttons/ceramics_over.gif";
menuImages[3] = "/i/MouseOVER_buttons/jewelry_over.gif";
menuImages[4] = "/i/MouseOVER_buttons/paintings_over.gif";
menuImages[5] = "/i/MouseOVER_buttons/sculpture_over.gif";
menuImages[6] = "/i/MouseOVER_buttons/miscellanea_over.gif";

menuImages[7] = "/i/MouseOVER_buttons/SparkBridgeDesign_over.gif";

//Caching menu images for OPERA
function cacheMenu()
{
	for (i=0;i<menuImages.length;i++)
	{
		menuImg[i] = document.createElement("img");
		menuImg[i].setAttribute("src",menuImages[i]);
	}
}