window.onresize=new Function("window.location.reload()")
function skriv(tekst){
document.write(tekst)
}
function opdateringsdato(){
var datum=new Date(document.lastModified);
var maand=datum.getMonth()+1;
var jaar=datum.getYear();
if (jaar<=10){jaar=jaar+2000;}
if (jaar<100 && jaar>=70){jaar=jaar+1930;}
if (jaar>=100 && jaar<200){jaar=jaar+1900;}
var dag=datum.getDate();
var uur=datum.getHours();
var min=datum.getMinutes();
skriv('Opdateret: ');
skriv(dag+'-'+maand+'-'+jaar+'&nbsp;');
skriv(uur+':'+min+'');
}