<!--
function printPage() {
  if (window.print)
    window.print()
  else
    alert("Je browser ondersteunt deze functie niet. Je kunt deze pagina wel handmatig via de browser uitprinten.");
}
//-->