( 6 , 812 .)