interface HTMLDetailsElement : HTMLElement {



}