42,900 coins