interface HTMLTitleElement : HTMLElement { };