Added HTMLElement, HTMLHtmlElement + bug fix for getElementById