//
// Letzte Fensteränderung
//
// 4stelliges Jahr
function really4digits(d)
{
//  if(d.getYear())
//    return d.getYear()
  var y = d.getYear()
  y = (y < 50) ? (y + 2000) : y
  return (y < 2000) ? (y + 1900) : y
}

// MonatKorrigiert
function MonthKorr(d)
{
  var y = d.getMonth()
  return (y+1)
}

// Zweistellige Zahl (mit fuehrenden Nullen)
function zwei_ziffern(x)
{
  var two = "00" + String(x)
  return two.substring(two.length - 2)
}

// Datumsausgabe
function zeige_datum()
{
  var lastModDate = new Date(document.lastModified)

  // Wunschformatierung
  return lastModDate.getDate() + "." +
         zwei_ziffern(MonthKorr(lastModDate)) + "." +
         really4digits(lastModDate) + ", " +
         lastModDate.getHours() + ":" +
         zwei_ziffern(lastModDate.getMinutes()) + ":" +
         zwei_ziffern(lastModDate.getSeconds())
}

// Datumsausgabe
function zeige_datum_einfach()
{
  var lastModDate = new Date(document.lastModified)

  // Wunschformatierung
  return lastModDate.getDate() + "." +
         lastModDate.getMonth() + "." +
         really4digits(lastModDate)
}