An integer that ensures we generate a unique file name.

确保我们生成惟一文件名的整数。