( 5317 & gt;