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

function anti1 (u) {
pre = "mail";
url = pre + "to:" + u;
document.location.href = url + "";
}

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_address1( username ) {
var domain = "ce.berkeley.edu";
var atsign = "&#64;";
var addr = username + atsign + domain;
document.write(
"<" + "a" + " " + "href=" + "mail" + "to:" + addr + ">" +
addr +
"<\/a>");
}