42,300 coins