I think it's just a way to document.write his email address, so no bot/crawler can directly see it.
Edit: It evaluate to `document.write('HIS_EMAIL at gmail')`
Edit: It evaluate to `document.write('HIS_EMAIL at gmail')`
The vast majority of crawlers aren't that smart, headless browsers used to be painfully slow so no one used them.
In fact doing so probably violates the halting problem somehow.