( 12 , 839 .)