function modifyString() {
modDate = document.lastModified
Tag=modDate.slice(3,5);
Monat=modDate.slice(0,2);
Jahr=modDate.slice(6,10);
modDate= Tag + "." + Monat + "." + Jahr;
//document.write(modDate);
return modDate;
}