( 5717 & gt;