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 random
lst = list(input())
z=1
for i in range(9999):
    first = ''
    random.shuffle(lst)
    for i in range(len(lst)-1):
        first+=lst[i]
    if (int(first)-int(lst[len(lst)-1])*2)%7==0:
        z=0
        break
if z==0:
    print(''.join(lst))
else:
    print(0)

