( 9 , 312 .)