12,700 coins