( 9 , 419 .)