( 9345 & gt;