Consider we have about 13k active players, is that a healthy number for a mobile game? (Global-SEA server)