// JavaScript Document

if(document.all && !document.getElementById) {
    document.getElementById = function(id) {
         return document.all[id];
    }
}

function buildMailTo(user,domain,additional) {
	document.getElementById('maillink').href="mailto:" + user + "@" + domain + additional;
	return true;
}