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.
from itertools import permutations
def seven(n):
    if n >10**6:
        lst=[str(i) for i in str(n)[-6:]]
        p = list(permutations(lst))
        for i in p:
            if int(str(n)[:len(str(n))-6]+"".join(i)) % 7 == 0 and i[0] != "0":
                return int(str(n)[:len(str(n))-6]+"".join(i))
        return 0
    lst=[str(i) for i in str(n)]
    p=list(permutations(lst))
    for i in p:
        if int("".join(i))%7==0 and i[0]!="0":
            return "".join(i)
    return 0


print(seven(int(input())))