( 42 , 017 .)