13,842 coins