function initArray() {
  this.length = initArray.arguments.length
  for (var i = 0; i < this.length; i++)
  this[i+1] = initArray.arguments[i] 
}

function showModified() {
  var LastModDate = new Date(document.lastModified);
  var TAGArray = new initArray("So","Mo","Di","Mi","Do","Fr","Sa");
  Tag = LastModDate.getDate();
  var TagAusgabe  = ((Tag < 10) ? "0" + Tag : Tag);
  var MONArray = new initArray("01.","02.","03.","04.","05.","06.","07.","08.","09.","10.","11.","12.");
  Jhr = LastModDate.getYear();
  Jahr = ( Jhr >= 2000 ) ? Jhr : ( ( Jhr < 80 ) ? Jhr + 2000 : Jhr + 1900 )
  Std = LastModDate.getHours();
  var StdAusgabe  = ((Std < 10) ? "0" + Std : Std);
  Min = LastModDate.getMinutes();
  var MinAusgabe  = ((Min < 10) ? "0" + Min : Min);
  Sec = LastModDate.getSeconds();
  var SecAusgabe  = ((Sec < 10) ? "0" + Sec : Sec);
//        document.write("<b>" + TAGArray[(LastModDate.getDay()+1)] + ", " + TagAusgabe + "." + MONArray[(LastModDate.getMonth()+1)] + Jahr + ", " + StdAusgabe + "." + MinAusgabe + ":" + SecAusgabe + "</b>.");
//  document.write("<b>" + TagAusgabe + "." + MONArray[(LastModDate.getMonth()+1)] + Jahr + "</b>");
//  document.getElementById('updated').innerHTML="<b>" + TagAusgabe + "." + MONArray[(LastModDate.getMonth()+1)] + Jahr + "</b>";
  document.getElementById('update').innerHTML="modified at: " + TagAusgabe + "." + MONArray[(LastModDate.getMonth()+1)] + Jahr + "";
}