( 9 , 417 .)