/* This script is used to show images concerning the links from the
   menu. It's not really needed (so the page still works if JS is turned off */
var Images = new Array(9); // replace the number with the amount of links
for (var i=0; i < Images.length; i++) {
  Images[i] = new Image();
  Images[i].src = "./images/menu"+ (i+1) +".jpg";
}
         
function changeimg(imgid) {
  window.document.images[0].src = Images[imgid].src;
}