( 20 , 017 .)