var mt='mailto:';
var a = "<a href=\""; 
var at="@";
var here="stanford."+"edu"; 
var aa="\">"; 
var enda="</a>";
// reserve variables 'who' and 'where', 
// for the PHP 'despamify' routine