It's address (de)obfuscation via javascript, meant to prevent harvesting of spam targets via simple scraping. The HTML plain-text reads what I wrote, there's a javascript hook to replace the placeholders with actual e-mail addresses. But the amount of substance on that page did not merit a reload with javascript enabled.