( 4 , 017 .)