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
s = list(map(int, list(input())))
s.remove(1)
s.remove(6)
s.remove(8)
s.remove(9)
s = sorted(s)[::-1]
if len(s) == 0:
    print("1869")
elif s[0] == 0:
    print("1869" + "0" * len(s))
else:
    m = 0
    t = ""
    for x in s:
        print(x, end = "")
        m *= 10
        m %= 7
        m += x
        m %= 7
    m *= 10000
    m %= 7
    ps = itertools.permutations(["1", "6", "8", "9"])
    for p in ps:
        k = int("".join(p))
        if (k + m) % 7 == 0:
            print("".join(p))
            break
