( 11 , 417 .)