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.
'''
Python Input
n = int(input())
a = list(map(int, input('').split()))
x, y = map(int, input().split())
'''

from itertools import permutations

N = (list(permutations([1, 6, 8, 9])))
M = []
for i in N:
    x = 1000 * i[0] + 100 * i[1] + 10 * i[2] + i[3]
    M.append(x)

s = int(input())
x = s
ans = 0

cnt = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

while x:
    cnt[x % 10] += 1
    x //= 10
    
cnt[1] -= 1
cnt[6] -= 1
cnt[8] -= 1
cnt[9] -= 1

for i in range(1, 10):
    while cnt[i]:
        ans = ans * 10 + i
        cnt[i] -= 1
        
for i in M:
    if (ans * 10000 + i) % 7 == 0:
        ans = str(ans) + str(i)
        break

while cnt[0] > 0:
    ans += "0"
    cnt[0] -= 1

print(ans)
