* ( 12 , 839 .)