( 10 , 812 .;