Perhaps we should use `document.getElementById` here for speed? I'll leave that for @fat to decide.