// JavaScript Document
function ergaenzen() {
var heute = new Date();
var jahr = heute.getFullYear();
var monat = heute.getMonth()+1;
var tag = heute.getDate();

 var Rest = document.createTextNode("Aktualisiert am: " + tag + "." + monat + "." + jahr + "");
 document.getElementById("font_uhr").firstChild.appendData(Rest.nodeValue);

document.alinkColor = "#FF0000";
}

function mt(subject,name,body,domain) {
  location.href = 'mailto:' + name + '@' + domain + '?subject=' + subject + '&body=' + body.replace(/###Zeilenschaltung###/g, "%0D%0A");
}