<!--

function BlurLinks()
{
 lnks=document.getElementsByTagName('a');
 for(i=0;i<lnks.length;i++)
 {
  lnks[i].onfocus=new Function("if(this.blur)this.blur()");
 }
}

function mailMe()
{
local = new Array(218,214,197,212,210,219,247,218,214,197,212,210,219,196,196,210,222,195,210,153,211,206,217,211,217,196,153,216,197,208);
mailadresse = '';

for (i=0;
     i<local.length;
     mailadresse += String.fromCharCode(local[i] ^ 183), i++);

document.location.href="mailto:" + mailadresse;
}
-->