// anchorId has to be unique for the entire document, rec holds the recipient part of
// the address before the @
function setLnkAddr(anchorId, rec) {
a = document.getElementById(anchorId);
a.firstChild.nodeValue = addr(rec);
a.href=lnk(rec);
}


function addr(rec) {
var a = "gospelchor-rheinfelden"
var b = "de"
return rec + "@" + a + "." + b
}

function lnk(rec) {
var d = "mai"
var f = "lto"
var g = ":"
return  d + f + g + addr(rec);
}