Are they all single files that are .txt?
Are documents submitted by uploading them to a third-party site?
Perhaps some third-party site adds that number either when uploaded to, or when this site fetches the file?
I also noticed this long ago, and as probably many others, thought that it was by design somehow.