Price per share during ochre mining on 7/17/12