new0 = new Image();
new0.src  = "gfx/header4-2.jpg";
new1 = new Image();
new1.src = "gfx/header4-2-ovr.jpg";

bio0 = new Image();
bio0.src  = "gfx/header5-2.jpg";
bio1 = new Image();
bio1.src = "gfx/header5-2-ovr.jpg";

dis0 = new Image();
dis0.src  = "gfx/header6-2.jpg";
dis1 = new Image();
dis1.src = "gfx/header6-2-ovr.jpg";

lnk0 = new Image();
lnk0.src  = "gfx/header7-2.jpg";
lnk1 = new Image();
lnk1.src = "gfx/header7-2-ovr.jpg";

function verander(Naam,Plaatje,No) { document [Naam].src = eval(Plaatje + No + ".src"); }