// JavaScript Document für deutsches Datum

var v=new Date(document.lastModified);
var a=v.getDate();
var b=v.getMonth()+1;
var c=v.getFullYear();
var d=v.getHours();
var e=v.getMinutes();document.write((a<10?"0"+a:a)+'.'+(b<10?"0"+b:b)+'.'+(c)+'&nbsp;'+(d<10?"0"+d:d)+':'+(e<10?"0"+e:e));