( 1192 & gt;