( 9 , 424 .)