( 9362 & gt;