( 7168 & gt;