( 15 , 417 .)