4,138 coins