function drucken()
  {
  window.print();
  }
function korrigieren()
{
history.back();
}

function fliesstextzaehler()
  {
  var inhalt = document.forms[0].fliesstext.value;
  var zeichenzahl = inhalt.length;
  var zeilenzahl = zeichenzahl/38;
  var zeilenzahlrein = Math.ceil(zeilenzahl);
  document.forms[0].zae.value = "Derzeit haben Sie " + zeichenzahl + "Zeichen eingetippt. Das ergibt " + zeilenzahlrein + " Zeilen";
  }

function aktuelle_kalendergraphik_einsetzen()
  {
  var datum = new Date();
  var jahr = datum.getFullYear();
  var mond = datum.getMonth();
  var mondzivil = mond*1+1;
  document.images["kalgra"].src = "graphik/system/kalender/" + jahr + "/kal" + mondzivil + ".png";
  }