#include <bits/stdc++.h>
using namespace std;
char s[15];
int n;
int main() {
  cin >> n;
  cin >> s;
  int index = 0;
  int q[15];
  int vis[15] = {0};
  for (int i = 0; i < n; i++) {
    q[i] = (int)(s[i] - '0');
    vis[q[i]] = 1;
  }
  if ((vis[2] && vis[7] && vis[9]) || (vis[4] && vis[3] && vis[9]) ||
      (vis[2] && vis[4] && vis[9]) || (vis[2] && vis[6] && vis[7]) ||
      (vis[1] && vis[6] && vis[7]) || (vis[1] && vis[9]) ||
      (vis[3] && vis[7]) || (vis[2] && vis[0]) || (vis[1] && vis[0]) ||
      (vis[3] && vis[0])) {
    cout << "YES" << endl;
  } else
    cout << "NO" << endl;
}
