{
a0 = new Image();
a0.src = "images/website/nl-down.png";
a1 = new Image();
a1.src = "images/website/nl-down.png";
b0 = new Image();
b0.src = "images/website/fr-down.png";
b1 = new Image();
b1.src = "images/website/fr-up.png";
c0 = new Image();
c0.src = "images/website/en-up.png";
c1 = new Image();
c1.src = "images/website/en-up.png";
}
function imageChange(imageID,imageName) { 
  document.images[imageID].src = eval(imageName + ".src");
}