( 9 , 385 .)