interface HTMLOptionElement : HTMLElement { }