!7 p { serveHttp(80); serveHttps(443); } html { ret hrefresh("https://www.botcompany.de:8443/1013826/raw"); }