<!--
/* aufbereiten einer e-mail adresse um spam weitgehend zu verhindern */

var prename = null;
var name = null;
var domain = null;
var superdomain = null;
var newstring = null;

function mailsend(mail, superdomain, name, prename, domain) {
 if ((prename != null) && (prename != " ")) {
  newstring = prename + "." + name;
  }
 else {
  newstring = name;
  }
newstring = "mailto:" + newstring + "\@" + domain + "." + superdomain;
mail.href = newstring;
return (1);
}

-->