MAX_SHORT_DOC_LEN
if (len > MAX_SHORT_DOC_LEN - 1)
len = MAX_SHORT_DOC_LEN - 1;
for (; i < MAX_SHORT_DOC_LEN; i++)