» 9,17 & gt;