<!--

if(document.images) {
menu = new Array(); 
menu[1] = new Image();
menu[1].src = "/images/buttons/about.png"; 
menu[2] = new Image();
menu[2].src = "/images/buttons/about2.png";
menu[3] = new Image();
menu[3].src = "/images/buttons/books.png"; 
menu[4] = new Image();
menu[4].src = "/images/buttons/books2.png";
menu[5] = new Image();
menu[5].src = "/images/buttons/gallery.png"; 
menu[6] = new Image();
menu[6].src = "/images/buttons/gallery2.png";
menu[7] = new Image();
menu[7].src = "/images/buttons/workshops.png"; 
menu[8] = new Image();
menu[8].src = "/images/buttons/workshops2.png";
menu[9] = new Image();
menu[9].src = "/images/buttons/contact.png";
menu[10] = new Image();
menu[10].src = "/images/buttons/contact2.png";
}

function swap(from,to) {
	if(document.images) {
	document.images[from].src = menu[to].src;
	}
}
//-->