( 9342 & gt;