( 5 , 017 .)