88,500 coins