function favoriet(sUrl,sTitel){ if (document.all) { window.external.AddFavorite(sUrl,sTitel); } }
function ToonDatum() {
var maand=new Array("januari","februari","maart","april","mei","juni","juli","augustus","september","oktober","november","december");
var dag=new Array("Zondag","Maandag","Dinsdag","Woensdag","Donderdag","Vrijdag","Zaterdag");
var datum=new Date();
document.write(dag[datum.getDay()]+" "+datum.getDate()+" "+maand[datum.getMonth()]);
}