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 itertools

base = "1689"

nums = {}
for char in input():
    if char not in nums:
        nums[char] = 1
    else:
        nums[char]+= 1
    
nums['1'] -= 1
nums['6'] -= 1
nums['8'] -= 1
nums['9'] -= 1

rest = ''
zeros = 0

for key in nums:
    val = nums[key]
    if key == '0':
        zeros = val
        continue
    rest += key*val

for perm in itertools.permutations(base):
    perms = ''.join(perm)
    num = int(rest+perms)
    if num % 7 == 0:
        print(rest+perms+'0'*zeros)
        exit()

print(0)

