export declare function HTMLEncode(html: string): string;