function sa(a){
  aa=String(a);
  if(aa.length==2) document.getElementById("sn"+aa).style.color="#892121";
  document.getElementById("hn"+aa.substr(0,1)).style.color="#892121";
}
function sma(n){
  var a="mai";
  var b="lto:"
  var c="tonweltstu";
  var d="dios.de";
  var j="@";
  var z="@";
  document.write('<a href="'+a+b+n+j+c+d+'">'+n+z+c+d+'</a>');
}