( 10 , 417 .)