static S hreconnectingWebSockets() {
  ret hjavascript_src_snippet(#1013374 /*#1013375*/);
}