#include <bits/stdc++.h>
using namespace std;
int n, cnt[10];
char str[22];
int main() {
  scanf("%d", &n);
  scanf("%s", str);
  for (int i = 0; i < n; ++i) ++cnt[str[i] - '0'];
  while (cnt[4]) cnt[4]--, ++cnt[2], ++cnt[2], ++cnt[3];
  while (cnt[6]) cnt[6]--, ++cnt[3], ++cnt[5];
  while (cnt[8]) cnt[8]--, ++cnt[2], ++cnt[2], ++cnt[2], ++cnt[7];
  while (cnt[9]) cnt[9]--, ++cnt[3], ++cnt[3], ++cnt[2], ++cnt[7];
  for (int i = 9; i >= 2; --i)
    while (cnt[i]--) putchar('0' + i);
  puts("");
}
