37,500 coins