function datum(){ 
mn=new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember") 
d=new Date(document.lastModified) 
m=mn[d.getMonth()] 
t=d.getDate() 
jj=d.getYear() 
j=(jj>=2000)?jj:((jj<80)?jj+2000:jj+1900) 
dat=(t+". "+m+" "+j)
document.write("letzte Änderung: " + dat )}