( 10717 & gt;