//
// ersetzung von email adressen damit diese nicht gespidert werden können
//
function pmail(pre,suf,lnk) {

  var domain = "";
  for (var i = 0; i < suf.length; i+=3) {
    domain += (String.fromCharCode(suf.substr(i,3)));
  }

  if (lnk) document.write("<a href='mail"+"to:"+pre+"&#64;"+domain+"'>");
  document.write(pre+"&#64;"+domain);
  if (lnk) document.writeln("</a>");
}