tag= document.lastModified.substr( 3, 2 );
monat= document.lastModified.substr( 0, 2 );
jahr= document.lastModified.substr( 6, 4 );
document.write("<span id='sehrklein'>");
document.write("(Letzte &Uuml;berarbeitung ");
if ( ( navigator.appName == "Microsoft Internet Explorer" )
     && ( parseInt( navigator.appVersion ) > 3 ) )
   document.write( tag, ".", monat, ".", jahr);
else
   document.write( document.lastModified );
document.writeln(")</span>");