35,500 coins