5317 ) ( 8517 .)