// JavaScript Document
//letzte Aktualisierung
var Monatsname = ["Januar", "Februar", "März", "April", "Mai","Juni", "Juli", "August", "September", "Oktober","November", "Dezember"];

function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return Monatsname[date.getMonth()] + " " + date.getYear();
}