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.
n = input()

n = ''.join(reversed(sorted(list(n))))

cnt = 0
while n[-cnt - 1] == '0':
    cnt += 1
n = n[:-cnt]

md = [0, 6189, 1689, 6198, 8691, 8916, 1896, 8169]

n = n[:-4] + '0000'

print(n[:-4] + str(md[7 - int(n) % 7]) + '0' * cnt)

25
13
41
34
5
456
34
56
3
7134