function anti (u) {
    pre = "mail";
    url = pre + "to:" + u;
    document.location.href = url + "@lbl.gov";
}

function generate_address( username ) {
var domain = "lbl.gov";
var atsign = "@";
var addr = username + atsign + domain;
document.write(
  "<" + "a" + " " + "href=" + "mail" + "to:" + addr + ">" +
  addr +
  "<\/a>");
}

function generate_addressosti( username ) {
var domain = "adonis.osti.gov";
var atsign = "&#64;";
var addr = username + atsign + domain;
document.write(
  "<" + "a" + " " + "href=" + "mail" + "to:" + addr + ">" +
  addr +
  "<\/a>");
}