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.
rems = {}
for d1 in {1, 6, 8, 9}:
    for d2 in {1, 6, 8, 9} - {d1}:
        for d3 in {1, 6, 8, 9} - {d1, d2}:
            for d4 in {1, 6, 8, 9} - {d1, d2, d3}:
                n = int(str(d1) + str(d2) + str(d3) + str(d4))
                rems[n % 7] = n

num = input()

num = num.replace('1', '', 1)\
         .replace('6', '', 1)\
         .replace('8', '', 1)\
         .replace('9', '', 1)

rem = 0
for c in num[::-1]:
    rem = ((rem - int(c) + 14) * 5) % 7

print(rems[rem], num, sep="")
