function p_date(datum)
{
 var tag = datum.getDate();
 var monat = datum.getMonth() + 1;
 var jahr = datum.getFullYear();
 document.write ( tag + "." + monat + "." + jahr );
}

function docdate()
{
 var ddatum = document.lastModified ;
 p_date(ddatum) ;
}