12,138 coins