( 3419 & gt;