function pagina(paginaID, archief){  // © Micha Pieterman
 url = "http://www.webkey3.nl/cms3/index.php?menuid=" + paginaID;
 url2 = "index.php?paginaID=" + paginaID;
try{obj = window.top.topvenster;}
catch(e){}
if(obj){window.top.location.href=url;}else{window.location.href=url2;}
}
function formw(formID){  // © Micha Pieterman
url = "http://www.webkey3.nl/cms3/form.php?action=wijzigen&formid=" + formID;
try{obj = window.top.topvenster;}
catch(e){}
if(obj){window.top.location.href=url;}
}