var boeknuen = new Image;
boeknuen.src = 'images/boeknu-en.gif';
var boeknuenzweef = new Image;
boeknuenzweef.src = 'images/boeknu-en-zweef.gif';

function swapImg(image, hov) {
      if (document.images)
	if (image == 'boeknu-en')
	  if (hov)
	    document.images[image].src = boeknuenzweef.src;
	  else
	    document.images[image].src = boeknuen.src;
}

// popup die zichzelf ook boven andere vensters pop-upt als het al geopend was
function popup(hyperlink, naam, eigenschappen) {
    var dit_venster = window.open(hyperlink, naam, eigenschappen);
    if (parseInt(navigator.appVersion) >= 4)
	dit_venster.window.focus();
}