interface HTMLHtmlElement : HTMLElement {

    [Reflect] attribute DOMString version;

};