8,031 coins