function decode_email(o) {
    o.href = o.href.replace(/-dot-/g, '.').replace(/-at-/g, '@');
}