interface HTMLPreElement : HTMLElement {



};