// JavaScript Document

// Script to hide E-mail addresses from programs which mine pages for addresses.

function write_email( name ) {
   var domain = "mit.edu";
   var address = name + "@" + domain;
   var url = "mailto:" + address;
   document.write( address.link( url ) );
}