How much do you want to invest in mining?