// JavaScript Document

var AutoPrint = false; // Indien 'false' wordt de pagina niet automatisch uitgeprint

function printen(){
if (document.getElementById != null){
var html = '<html>\n<head>\n';
if (document.getElementsByTagName != null){
var headTags = document.getElementsByTagName("head");
if (headTags.length > 0)
html += headTags[0].innerHTML;}
html += '\n</he' + 'ad>\n<body>\n';
var tekstElem = document.getElementById("tekst");
if (tekstElem != null){
html += tekstElem.innerHTML;}
html += '\n</bo' + 'dy>\n</ht' + 'ml>';
var printWin = window.open("","PrintPagina");
printWin.document.open();
printWin.document.write(html);
printWin.document.close();
if (AutoPrint)printWin.print();}}

/*In html: <a href="javascript:void(printen())">Dit afdrukken</a> */
