void setCenteredPlayerNr_EM(int centered_player_nr)
{
game.centered_player_nr = game.centered_player_nr_next = centered_player_nr;
void setCenteredPlayerNr_EM(int centered_player_nr)
{
game.centered_player_nr = game.centered_player_nr_next = centered_player_nr;