function NieuwVenster() {
window.open("/images2/kaart2.gif", "nieuw", "width=684,height=478");
}


function dirkdork(normaal, blaat) {
 document.images[normaal].src = eval(blaat + ".src");
 return;
}

function doNothing() {
 return;
}