( 13 , 417 .)