( 12 , 812 .)