function decode(s, k) {
  out = ""
  shift = s.length

  for (i=0; i<s.length; i++) {
    if (k.indexOf(s.charAt(i))==-1) {
      ltr = s.charAt(i)
        out += (ltr)
    }
    else {     
      ltr = (k.indexOf(s.charAt(i))-shift+k.length) % k.length
      out += (k.charAt(ltr))
    }
  }

  window.location = 'mailto:' + out;
}