88,676 coins