( 10317 & gt;