<!-- 
var prefix = 'ma'+ 'il' + 'to'; 
var path = 'hr' + 'ef' + '='; 

function mprint(domain, user, name){
  var addy = user + '@' + domain;
  var link = addy;
  if (name != undefined) link = name;
  document.write( '<a ' + path + "'" + prefix + ':' + addy + "'>" + link + '</a>' );
}
//-->
