// JavaScript Document

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

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