#include <bits/stdc++.h>
using namespace std;
int vis[18];
void chk() {
  for (int i = 9; i > 1; i--) {
    if (i == 4) {
      vis[2] += 2 * vis[4];
      vis[3] += vis[4];
      vis[4] = 0;
    } else if (i == 6) {
      vis[3] += vis[6];
      vis[5] += vis[6];
      vis[6] = 0;
    } else if (i == 8) {
      vis[2] += 3 * vis[8];
      vis[7] += vis[8];
      vis[8] = 0;
    } else if (i == 9) {
      vis[2] += vis[9];
      vis[3] += 2 * vis[9];
      vis[7] += vis[9];
      vis[9] = 0;
    }
    while (vis[i]--) putchar('0' + i);
  }
  return;
}
int main() {
  int n;
  char c;
  scanf("%d", &n);
  while ((c = getchar()) != EOF && isdigit(c) == 0)
    ;
  vis[c - '0']++;
  while ((c = getchar()) != EOF && isdigit(c)) vis[c - '0']++;
  chk();
  return 0;
}
