// ----------------------------------------------------------
// Liefert das Datum der letzten Dateiaenderung.
// WS; 08.07.01
// ----------------------------------------------------------

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

var LastModDate = new Date(document.lastModified);
Tag       = LastModDate.getDate();
ShowTag   = ((Tag < 10) ? "0" + Tag : Tag);

Monat     = LastModDate.getMonth();
Monat     = ( Monat + 1 );
ShowMonat = ((Monat < 10) ? "0" + Monat : Monat);

Jahr = LastModDate.getYear();
ShowJahr = ( Jahr >= 2000 ) ? Jahr : ( ( Jahr < 80 ) ? Jahr + 2000 : Jahr + 1900 );

document.write(ShowTag + "." + ShowMonat + "." + ShowJahr);

// --- eof ---