Drazil is playing a math game with Varda.

Let's define <image> for positive integer x as a product of factorials of its digits. For example, <image>.

First, they choose a decimal number a consisting of n digits that contains at least one digit larger than 1. This number may possibly start with leading zeroes. Then they should find maximum positive number x satisfying following two conditions:

1. x doesn't contain neither digit 0 nor digit 1.

2. <image> = <image>.

Help friends find such number.

Input

The first line contains an integer n (1 ≤ n ≤ 15) — the number of digits in a.

The second line contains n digits of a. There is at least one digit in a that is larger than 1. Number a may possibly contain leading zeroes.

Output

Output a maximum possible integer satisfying the conditions above. There should be no zeroes and ones in this number decimal representation.

Examples

Input

4
1234


Output

33222


Input

3
555


Output

555

Note

In the first case, <image>
a = int(input())
l = list(input())
g = []
ans = []
s = []
c2 = 0
c3 = 0
c7 = 0
c5 = 0
for i in l:
    if int(i) != 0 and int(i) != 1:
        s.append(int(i))
for i in s:
    for i in range(2, i + 1):
        if i == 4:
            g.append(2)
            g.append(2)
            c2 += 2
        elif i == 6:
            g.append(2)
            g.append(3)
            c2 += 1
            c3 += 1
        elif i == 8:
            g.append(2)
            g.append(2)
            g.append(2)
            c2 += 3
        elif i == 9:
            g.append(3)
            g.append(3)
            c3 += 2
        else:
            if i == 2:
                c2 += 1
            elif i == 3:
                c3 += 1
            elif i == 7:
                c7 += 1
            elif i == 5:
                c5 += 1
            g.append(i)
dc5 = c7
dc3 = c7 * 2 + c5 - dc5
dc2 = 4 * c7 + 3 * (c5 - dc5) + c3 - dc3
if dc5 <= c5 and dc3 <= c3 and dc2 <= c2:
    for i in range(c7):
        ans.append(7)
    for i in range(c5 - dc5):
        ans.append(5)
    for i in range(c3 - dc3):
        ans.append(3)
    for i in range(c2 - dc2):
        ans.append(2)
    ans.sort()
    ans.reverse()
    print(''.join([str(i) for i in ans]))
else:
    s.sort()
    s.reverse()
    print(''.join([str(i) for i in s]))