Use document.getElementById() so all possible IDs work, not just jQuery-friendly ones

E.g., IDs like "foo/bar" or "baz.quux".