( 20 , 417 .)