// print copyright verhaal	


// datum gedoe

function makeArray0() {
     for (i = 0; i<makeArray0.arguments.length; i++)
          this[i] = makeArray0.arguments[i];
}

var months = new makeArray0("jan","feb","mrt","apr","mei","jun","jul","aug","sep","okt","nov","dec");

var last = document.lastModified;
var date = new Date(last);
document.write("<P STYLE=\"line-height: 10px; border: solid 1px #ffffff; padding: 2px; width: 100px;\"><SMALL>Bijgewerkt op:<BR>" +
    date.getDate() + " " +
    months[date.getMonth()] + " " +
    (date.getFullYear()) + "<\/SMALL><\/P>");