( 9 , 383 .)