function jsreplace(f,o,n) {
    for (var i=0; i<f.length; i++) {
      if (f.substring(i,i+o.length) == o) {
       f = f.substring(0,i)+n+f.substring(i+o.length,f.length)
      }
    }
    return f
   }

    function fixmail(mailadr) {
      document.location.href="mailto:" + jsreplace(jsreplace(mailadr,"Bo3Txny",""),"snabel-a","@")
    }