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.
import itertools

add = [None] * 7

for p in itertools.permutations([1, 6, 8, 9]):
    num = ''.join(map(str, p))
    add[int(num) % 7] = num


s = input()
cnt = [0] * 10
for c in s:
    cnt[int(c)] += 1

for c in [1, 6, 8, 9]:
    cnt[c] -= 1

any_one = False
res = ''
for i in range(9, -1, -1):
    res += cnt[i] * str(i)
    any_one |= i > 0 and cnt[i] > 0

md = int(res) % 7 if res else 0
print(res + add[(7 - md) % 7] if any_one else add[0] + res)

