803,842 coins