12,763,000 coins