function decode_link(addr) {
  location.href="mailto:"+addr.replace("(at)", "@");
}