function getPlayerId(player): number;