( 6717 & gt;