( 12 , 857 .)