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 random import shuffle
s = list(input())
s.sort(reverse=True)
try:
    back = s.index('0')
except ValueError:
    back = len(s)
for c in ['9', '6', '8', '1']:
    back -= 1
    pos = s.index(c)
    s[pos], s[back] = s[back], s[pos]
prefix = s[:back]
if len(prefix) == 0:
    print(''.join(s))
    exit(0)
for i in range(50):
    if int(''.join(prefix)) % 7 == 0:
        print(''.join(prefix + s[back:]))
        exit(0)
    shuffle(prefix)
print(0)
