function maskMail() {
	var name = "info";
	var domain = "dachdeckermeister-scholze.de";
	document.write('<a href=\"mailto:' + name + '@' + domain + '\">');
	document.write(name + '@' + domain + '</a>');
}
function maskForm() {
	var name = "info";
	var domain = "dachdeckermeister-scholze.de";
	document.write('<input type=\"hidden\" name=\"recipient\" value='+ name + '@' + domain + '>');
}
function maskMailDOM() {
    // Maskmail replacement, usable with AJAX calls
    var name = "info";
    var domain = "dachdeckermeister-scholze.de";
    var mailaddr = name + "@" + domain;
    
    var mailtag = document.createElement("a");
    mailtag.href = "MAI" + "LTO:" + mailaddr;
    var mailtext = document.createTextNode(mailaddr);
    mailtag.appendChild(mailtext);
    document.getElementById("maskmail").appendChild(mailtag);
}