 And they won the game by that same score. And we had the item earlier that the two guys who were polling the most votes in the All-Star game voting, and we're talking about Aaron Judge with about 3.4 million votes and Bryce Harper with 3.3 million votes. On the same day that's announced, Harper is hurt in a game against the Marlins. They lost the game.