interface HTMLPreElement : HTMLElement {



}