到底要不要判断 (n−11) mod 7=0(n-11)\bmod7=0(n−11)mod7=0 和 (n−17) mod 7=0(n-17)\bmod7=0(n−17)mod7=0 的情况（好像只有第一篇 tj 特判了）
