( 31 , 417 .)