<!--
function printMail(name,server,divId) {
    address = name+'@'+server;
    string = '<a href="mailto:'+address+'" class="adr">'+address+'</a>';
    element = document.getElementById(divId);
    element.innerHTML = string;
}

//->
