( 9419 & gt;