function contact1() {
  document.write("<a href='mailto:elgamal@ucsd.edu'>elgamal@ucsd.edu</a>");
}
function contact2() {
  document.write("<a href='mailto:jinlu@ucsd.edu'>jinlu@ucsd.edu</a>");
}
function contact3() {
  document.write("<a href='mailto:zhyang@ucsd.edu'>zhyang@ucsd.edu</a>");
}