function navigate(buttonId) {
   // Indien nodig een button maken om de parent-window te openen.
   if (self == top) {
         document.write('<a href="index.html" id="button">Klik op de button voor navigatie</a>');
   }
   // De betreffende menu-button van de parent-window activeren (ander kleurtje geven).
   // activeButton(buttonID) is een JS-functie van de parent-window.
   var wp=window.parent;
   wp.activeButton(buttonId);
}

//open new window
var t=7; //top
var aw=screen.availWidth-12;
var ah=screen.availHeight-57-t;
var w=978; //width
var l=aw-w; //left
function wo(e){  //e = this en verwijst dus naar het aanroepende element.
   url=e.href;
   nw=window.open(url, "_blank", "toolbar=no, location=no, directories=no, status=no, menubar=no, scrollbars=yes, resizable=yes, copyhistory=no, width="+w+", height="+ah+", left="+l+", top="+t+"");
}

//open new window met historie-pijltjes
//dit kan alleen als 'toolbar' en 'location' allebei 'yes' zijn
var ahx=ah-75;
function wox(e){  //e = this en verwijst dus naar het aanroepende element.
   url=e.href;
   nw=window.open(url, "_blank", "toolbar=no, location=yes, directories=no, status=no, menubar=no, scrollbars=yes, resizable=yes, copyhistory=no, width="+w+", height="+ahx+", left="+l+", top="+t+"");
}