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 = input()
b=[0]*10
total = 0
 
for i in a:
    b[int(i)]+=1
 
for i in [1,6,8,9]:  
    b[i]-=1
 
for i in range(1,10):
    total = (total + (b[i] * (i % 7))) % 7
    print('i'*b[i],end = '')
 
z = ['1869','6198','1896','9186','9168','6189','8691']
 
print(z[total]+'0'*b[0])