42,753 coins