var monat=new Array("January", "February", "March", "April", "May", "June", "July", 
                "August", "September", "October", "November", "December")
var alter = Math.floor(new Date(document.lastModified)/(1000*60*60*24));
var alter2 = document.lastModified
var jetzt = Math.floor(new Date()/(1000*60*60*24));
var geaendert=alter2.split(" ");
// alert(jetzt + "\n" + alter + "\n" + geaendert);
function datum_ie() {
document.write('letzte Aktualisierung: ');
  alter2=geaendert[0].split("/")
  document.write(" <font color='#0033AA'>" + alter2[1]+"." + alter2[0] + "." + alter2[2] + "</font>");
}
function datum_ns() {
  geaendert[2]= geaendert[2][0]+geaendert[2][1]
//  alert(geaendert[1]+"<br>"+geaendert[2]+"<br>"+geaendert[3]);
  var i=0;
  while (monat[i]!=geaendert[1]) i++
  if (i<9) j="0"
  else j=""
  document.write(" <font color='#0033AA'>" + geaendert[2]+"." + j +(i+1) + "." + geaendert[3] + "</font>");
}