12,850,000 coins