#include <bits/stdc++.h>
using namespace std;
pair<int, int> par(int i) {
  if (i == 0) return (pair<int, int>(4, 2));
  int r = i % 3;
  if (r == 0) r = 3;
  return (pair<int, int>((i - 1) / 3 + 1, r));
}
int valor(pair<int, int> p) {
  if (p.first == 4 && p.second == 2) return 0;
  if (p.second < 1 || p.second > 3 || p.first < 1 || p.first > 3) return -1;
  int q = p.first - 1;
  int r = p.second;
  return (3 * q + r);
}
int main() {
  pair<int, int> v[15];
  int n;
  cin >> n;
  for (int t = 1; t <= n; t++) {
    char c;
    cin >> c;
    v[t] = par(c - '0');
  }
  pair<int, int> desloc[15];
  desloc[1] = pair<int, int>(1, 0);
  desloc[2] = pair<int, int>(-1, 0);
  desloc[3] = pair<int, int>(0, 1);
  desloc[4] = pair<int, int>(0, -1);
  desloc[5] = pair<int, int>(1, 1);
  desloc[6] = pair<int, int>(-1, -1);
  desloc[7] = pair<int, int>(1, -1);
  desloc[8] = pair<int, int>(-1, 1);
  bool yes;
  for (int j = 1; j <= 8; j++) {
    yes = true;
    int i;
    for (i = 1; i <= n; i++) {
      if (valor(pair<int, int>(v[i].first + desloc[j].first,
                               v[i].second + desloc[j].second)) == -1) {
        yes = false;
        break;
      }
    }
    if (yes) {
      cout << "NO";
      break;
    }
  }
  if (yes == false) cout << "YES";
}
