/*
 * Will decode an email address previously encoded to prevent spam.
 * @param HTML<A>Element
 */
function decodeEmail(a) {
    a.href = a.href.replace(/-dot-/g, '.').replace(/-at-/g, '@');
}