( 9 , 313 .)