( 6 , 017 .)