( 5419 & gt;