4,023 coins