declare const header: HTMLHeadingElement;