Mining equities were up about 17% on average, along with the price of bitcoin.