( 9343 & gt;