You have number *a*, whose decimal representation quite luckily contains digits 1, 6, 8, 9. Rearrange the digits in its decimal representation so that the resulting number will be divisible by 7.

Number *a* doesn't contain any leading zeroes and contains digits 1, 6, 8, 9 (it also can contain another digits). The resulting number also mustn't contain any leading zeroes.
The first line contains positive integer *a* in the decimal record. It is guaranteed that the record of number *a* contains digits: 1, 6, 8, 9. Number *a* doesn't contain any leading zeroes. The decimal representation of number *a* contains at least 4 and at most 10<sup class="upper-index">6</sup> characters.
s = input()
if len(s) == 4:
    print(1869)
    exit()
res = "0"
d = dict()
l = [0] * 10
for i in s:
    l[int(i)] += 1
l[1] -= 1
l[6] -= 1
l[8] -= 1
l[9] -= 1
lr = ["1869", "1968", "1689", "6198", "1698", "1986", "1896"]
for i in range(1,10):
    res += str(i) * l[i]
r = (int(res) * 10000) % 7
res += lr[(7 - r) % 7]
res += "0" * l[0]
print(int(res))
