function insert_email_address(obj,domain,name,html)
{
    var email = name+"@"+domain;
    var element = document.getElementById(obj);
    if (html) element.innerHTML = html;
    else element.innerHTML = email;
    element.href = "mailto:"+email;
}
