events.addEventListener("players", function(event) {
const players_element = document.getElementById("players");
const players = JSON.parse(event.data);
events.addEventListener("players", function(event) {
const players_element = document.getElementById("players");
const players = JSON.parse(event.data);