<!--

//function to mask an email address from robots etc.
function maskmail (domain, user, subject) 
{ pre = "mail";
  url = pre + "to:" + user;
  if (subject != "")
  	 subject = "?subject=" + subject
  document.location.href = url + "@" + domain +subject;
}