87,500 coins