//PRELOAD IMAGES---------------------------

function preload_menu()
{
	pic0 = new Array("img/menu0a.gif","img/menu1a.gif","img/menu2a.gif","img/menu3a.gif");
	pic1 = new Array("img/menu0b.gif","img/menu1b.gif","img/menu2b.gif","img/menu3b.gif");

	bilder0 = new Array(pic0.length);
	bilder1 = new Array(pic1.length);


	for (i=0; i<pic0.length; i++)
	{
		bilder0[i] = new Image();
		bilder0[i].src = pic0[i];
		bilder1[i] = new Image();
		bilder1[i].src = pic1[i];
	}
}


//IMAGE CHANGE-----------------------------

function menuhighlight(a,b) { window.document.images[a].src = bilder1[b].src; }

function menunormal(a,b) { window.document.images[a].src = bilder0[b].src; }


//EXECUTE PRELOAD_MENU()-------------------

preload_menu();