function writeBerkeleyEmail(email) {
	email = email + "@berkeley.edu";
	document.write("<a href=\"mailto:" + email + "\">" + email + "</a>");
}