5,138 coins