( 6317 & gt;