<!--
/* Ändert alle Email-Adressen um */

/* String umkehren (Hilfsfunktion für addEmailAddress) */
function invert(str){
  var res = "";
  var i = str.length - 1;
  while(i>=0){
    res = res+str.charAt(i);
    i--;
  }
  return res;
}


/* alle Email-Adressen erkennen und Ziel automatisch setzen */
function addEmailAddress(){
  var a = document.getElementsByTagName("a");
  var i = 0;
  var tmp = "";
  while(i<a.length){
  	if (a[i].className == "mail"){
  		tmp = a[i].firstChild.nodeValue;
  		a[i].href = "mailto:" + invert(tmp);
  		a[i].firstChild.nodeValue = tmp;
  	}
  	i++;
  }  
}

//-->