static S js_chatPostCode(S msg) {
  ret "$.get('http://botcompany.de/1008998/raw/msg?message=" + urlencode(msg) + "'); return false;";
}