( 17 , 812 .)