( 35 , 812 .)