<!--hide me from old browsers
  function encodemailto(id) {
    var domain="virginia.edu";
	document.write("<a href='mailto:"+id+"@"+domain+"'>"+id+"@"+domain+"</a>");
  }
  //--> unhide me from old browsers
