12 , 831 .)