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.
def f(x):
    global was
    return (not was[x])
n = int(input())
was = [1] * 10
was[1] = 0
was[6] = 0
was[8] = 0
was[9] = 0
p = 1
m = 0
while (n > 0):
    if (f(n % 10)):
        was[n % 10] = 1
    else:
        m = m + (n % 10)
        p = p * 10
    n = n // 10
a = [1968, 1689, 6891, 1698, 1986, 1896, 1869]
if (m == 0):
    print(a[6] * p)
    exit(0)
print(m, a[6 - (m % 7)], sep='')