How much are you asking for the miners?