public int GetDevelopmentCardCount(int playerID) { return players[playerID].DevelopmentCards.Count; }