[ben_w]

> "document.getElementById" is a nicety that can also be ignored.

Huh, I did not know that. This makes it a lot nicer for micro-projects.