这是一道数学题，真是很考验数学思维，之前也遇到过相似的问题，但是依然是想不到点子上，就这提而言，最重要的就是
能否发现由 1, 6, 8，9这四个数字组成的排列对7取模是可以得到0, 1, 2, 3, 4, 5, 6的。
也许这就是经验。。。。
找到思路了。
不要高兴太早。随之而来的就是效率问题。py效率本来就是被人们诟病的，提交的n次全TLE。。。我当然知道py的字符串是很慢的
所以应该减少字符串的操作。。然后就顺利的擦边了。。842ms
附上我的AC代码，有朋友效率更高的话，欢迎指点，谢谢！
1 a = map(int, raw_input()); 2 cnt = [0] * 10; 3 c = [1869, 1968, 1689, 6198, 1698, 1986, 1896]; 4 sz = len(a); 5 6 for i in xrange(sz): 7 cnt[a[i]] += 1; 8 if cnt[0] == sz - 4: 9 print "1869" + "0" * cnt[0]; 10 else: 11 cnt[1] -= 1; 12 cnt[8] -= 1; 13 cnt[6] -= 1; 14 cnt[9] -= 1; 15 res = 0; 16 s = ""; 17 for i in xrange(9, -1, -1): 18 s += str(i) * cnt[i]; 19 for j in xrange(0, cnt[i]): 20 res = (res * 10 + i) % 7; 21 print s + str(c[(7 - res * 10000 % 7) % 7]);