javascript: dom-getelementbyid