<!--


function openWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features)
}


function printMail(name,server,divId) {
    address = name+'@'+server;
    string = '<a href="mailto:'+address+'" class="text">'+address+'</a>';
    element = document.getElementById(divId);
    element.innerHTML = string;
}


//->