4,054 coins