( 13 , 857 .)