var Monatsname = ["Jan","Feb","Mrz","Apr","Mai","Jun","Jul","Aug","Sept","Okt","Nov","Dez"];
var Tagname = ["00","01","02","03","04","05","06","07","08","09","10","11","12","13","14","15","16","17","18","19","20","21","22","23","24","25","26","27","28","29","30","31"];
function modifyString()
{
var date = new Date();
date.setTime(Date.parse(document.lastModified));
return Tagname[date.getDate()] + ". "+ Monatsname[date.getMonth()] + ". "+ [1900+date.getYear()];
}