( 20 , 812 .)