» 7,12 & gt;