sS webSocketButterBot(S botID) { ret "ws://butter.botcompany.de:8080/" + psI(botID); }