( 9 , 812 .)