87,700 coins