function hideEmail ()
{
 	var email = "donoho"
  	var emailHost = "stat.stanford.edu "
  	document.write("<a href=" + "mail" + "to:" + email + "@" + emailHost+ ">"+email + "@" + emailHost+"</a>")
}