( 12 , 838 .)