#include <bits/stdc++.h>
using namespace std;
int a[10];
int main() {
  ios_base::sync_with_stdio(0);
  int n;
  cin >> n;
  string b;
  cin >> b;
  for (int i = 0; i < n; i++) {
    a[b[i] - '0'] = 1;
  }
  bool flag = (((a[1] || a[2] || a[3]) && (a[0])) ||
               ((a[1] || a[2] || a[3]) && (a[1] || a[4] || a[7])) &&
                   ((a[3] || a[9] || a[6]) && (a[7] || a[0] || a[9])));
  if (flag)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
