[ 13 , 857 .)