function escape(html: string) {
    return html.replaceAll(/[<>&'"]/g, c => {
        switch (c) {
            case "<":
                return "&lt;"
            case ">":
                return "&gt;"
            case "&":
                return "&amp;"
            case "'":
                return "&apos;"
            case '"':
                return "&quot;"
            default:
                return c
        }
    })
}