( 8 , 017 .)