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.
a=list(map(int,input().rstrip()))
n=len(a)
z=sum(a)
ind=-1
for i in range(n):
    if (z-3*a[i])%7==0:
        ind=i
        break
if ind==-1:
    print(0)
else:
    s=[]
    for i in range(n):
        if i!=ind:
            s.append(str(a[i]))
    s.append(str(a[ind]))
    print("".join(s).lstrip("0"))