function ba(n){
  var col = "#B50000";
  var sn = String(n);
  var aa = sn.substr(0,1);
  var bb = (sn.length>1)?sn.substr(0,2):"";
  document.getElementById('nv'+aa).style.color=col;
  if(sn.length>1 && bb!="") document.getElementById('nv'+bb).style.color=col;
  if(sn.length>2) document.getElementById('nv'+sn).style.color=col;
}
function sma(){
  var a="inf";
  var b="o@eb";
  var c="stec";
  var d="h.de";
  var x="mai";
  var y="lto:";
  location.href=x+y+a+b+c+d;
}