function spam(die) {
   var whatever = 'thetaxi.rose-hulman.edu';
   document.location = 'mailto:' + die + '@' + whatever;
}