40,023 coins