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 random

def solve():
    lst = []

    for i in range(0, 10):
        lst.append(0)

    s = input()

    for i in s:
        lst[int(i)] += 1

    for k in  range(0, 100):
        ss = ""
        val = []
        for i in range(0, 10):
            val.append(0)
        for i in s:
            r1 = random.randint(0, 9)
            while(lst[r1] - val[r1] == 0):
                r1 = random.randint(0, 9)
            val[r1] += 1;
            ss += str(r1)
        if int(ss) % 7 == 0:
            print(ss)
            return
solve()

