( 13 , 812 .)