87,972 coins