/* Time-String in übliches Format umwandeln */
function FormTime(TimeStr) {
  var time = new Date(TimeStr);

  var Tag = time.getDate();
  if (Tag < 10) Tag = "0" + Tag;

  var Monat = time.getMonth() + 1;
  if (Monat < 10) Monat = "0" + Monat;

  var Stunde = time.getHours();
  if (Stunde < 10) Stunde = "0" + Stunde;

  var Minute = time.getMinutes();
  if (Minute < 10) Minute = "0" + Minute;

  var Sekunde = time.getSeconds();
  if (Sekunde < 10) Sekunde = "0" + Sekunde;

  var Jahr = time.getFullYear();

  return Tag + "." + Monat + "." + Jahr + ", " + Stunde + "." + Minute + "." + Sekunde;
}

/* Speicherdatum des Dokuments als Text liefern */
function getModified(mod) {
  if (mod != "") var lastmod = FormTime(mod);
  else var lastmod = FormTime(document.lastModified);

  return("Letzte Änderung: " + lastmod + " - ");
}

/* Speicherdatum des Dokuments schreiben */
function PrintModified(mod, mailTo) {
  document.writeln("<p>", getModified(mod), "<a href=\"mailto:" +
  mailTo + "\">" + mailTo + "</a></p>");
}

/* Speicherdatum des Dokuments in Tag schreiben */
function setModified(id, mod, mailTo) {
  var node = document.getElementById(id);
  var nodeText = document.createTextNode(getModified(mod));
  var A = document.createElement("a");
  var AText = document.createTextNode(mailTo);
  A.href = "mailto:" + mailTo;
  A.appendChild(AText);
  node.appendChild(nodeText);
  node.appendChild(A);
}

/* Zwei Frames gleichzeitig ändern */
function LeftAndRight(Left, Right) {
  parent.frames['links'].location.href=Left;
  parent.frames['rechts'].location.href=Right;
}

/* Um einen Cookie zu löschen, ist die Lebensdauer auf -1 Tag zu setzen.
   Einen temporären Cookie erhält man mit einer auf 0 gesetzten Lebensdauer.
   Pfad, Domain und Sicherheit sind optional. */
function setCookie(name, value, lifeDays, lifeHours, lifeMins, lifeSecs, path, domain, secure) {
  var today = new Date();
  var lifeTime = (((lifeDays * 24 + lifeHours) * 60 + lifeMins) * 60 + lifeSecs) * 1000;
  var expiry = new Date(today.getTime() + lifeTime);

  if (name != null && name != "" && value != null) {
    var cookieString = name + "=" + escape(value);
    if (lifeTime) cookieString += "; expires=" + expiry.toGMTString();
    if (path) cookieString += "; path=" + path;
    if (domain) cookieString += "; domain=" + domain;
    if (secure) cookieString += "; secure";
    document.cookie = cookieString;
  }
}

/* Parst den Cookiestring und liefert ein Array mit den einzelnen Cookies oder
   null zurück. */
function getCookieArray() {
  if (!document.cookie || document.cookie == "") return null;

  var cookies = document.cookie.split(";");
  var cookieArray = new Array();

  for (var i = 0; i < cookies.length; i++) {
    var cookie = cookies[i].substring(cookies[i].search(/\S/),
      cookies[i].length).split("=");
    if (cookie[1]) cookieArray[cookie[0]] = unescape(cookie[1]);
    else cookieArray[cookie[0]] = "";
  }

  return cookieArray;
}

/* Liefert den Wert eines Cookies oder null. */
function getCookie(name) {
  var cookies = new getCookieArray();
  var value = cookies[name];

  if (value || value == "") return value;
  return null;
}

/* Zeigen, ob die Seite seit letztem Besuch geändert wurde */
function isModifiedSinceLatterVisit(docName, days) {
  if (getCookie(docName) == null)
    setCookie(docName, document.lastModified, days, 0, 0, 0);

  if (getCookie(docName) != document.lastModified) {
    alert("Diese Seite wurde seit Ihrem letzten Besuch geändert!");
    setCookie(docName, document.lastModified, days, 0, 0, 0);
  }
}

/* Zeigen, ob die Seite seit letztem Besuch geändert wurde */
function isDocModified() {
  return isModifiedSinceLatterVisit(document.URL.substring(document.URL.lastIndexOf("/")
    + 1, document.URL.lastIndexOf(".")), 365);
}

/* Schreibt eine leere Zeichenkette in ein Element, wenn darin der Standardwert steht.*/
function valFocus(obj) {
  with (obj) if (value == defaultValue) value = '';
}

/* Schreibt den Standardwert in ein Element, wenn darin eine leere Zeichenkette steht.*/
function valBlur(obj) {
  with (obj) if (value == '') value = defaultValue;
}