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.
import sys
input=sys.stdin.readline
a=input().rstrip()
s=["1869","1968","1689","6198","1698","1986","1896"]
cnt=[0]*10
for i in range(len(a)):
  cnt[int(a[i])]+=1
cnt[1]-=1;cnt[6]-=1;cnt[8]-=1;cnt[9]-=1
ans=[]
m=0
for i in range(1,10):
  while cnt[i]>0:
    m=(10*m+i)%7
    ans.append(str(i))
    cnt[i]-=1
need_m=(7-(m*(10**4))%7)%7
ans.append(s[need_m])
ans.extend(["0"]*cnt[0])
print("".join(ans))