function setml(thename){
  var mailadr='i'+'nf'+'o';
  mailadr+=decodeURIComponent('%40');
  mailadr+='auf'+'bla'+'u'
  mailadr+='.';
  mailadr+='de';
  document.getElementById(thename).href='mailto:'+mailadr;
}