function build_email_address(username) {
    var domain = "uw.edu";
    var atsign = "@";
    var addr = username + atsign + domain;
    document.write("<" + "a" + " " + "href=" + "mail" + "to:" + addr + ">email<\/a>");
}