Who here has gotten 10,000 coins on the lottery game.