<!--
var defaultDomain = "gmail.com";
var NoSpamDomain = "NOSPAMexample.com";

function SpamFilter(email,myDomain) {
  if (myDomain == undefined) myDomain = defaultDomain;
  window.location = email.replace(NoSpamDomain,myDomain);
}
//-->