10,071 coins