Shell sold 9.