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.

d = {3: '9816', 6: '8691', 0: '9681', 2: '8196', 5: '8961', 4: '9861', 1: '6891'}
x = ''
digits = {} 
for i in range(10):
    digits[i] = 0 
n = int(input())
while n>0:
    digits[n%10]+=1
    n = n//10
ll = ''
for i in range(1,10):
    if i==1 or i==6 or i==9 or i==8:
        ll+=(digits[i]-1)*str(i)
    else:
        ll+=digits[i]*(str(i))

if ll!='':
    x = d[int(ll)%7]
else:
    x = d[0]
print(ll+str(x)+'0'*digits[0])