function spamicide(user) {
 var email = user + "@mgccc.edu";
 document.write("<a href='mailto:" + email + "'>" + email + "</a>");
}
