22,500 coins