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