#include <bits/stdc++.h>
using namespace std;
string s;
int c[11], n;
int main() {
  cin >> n >> s;
  for (int i = 0; i < n; ++i) ++c[s[i] - '0'];
  if ((c[1] || c[2] || c[3]) && (c[0] || c[7] || c[9]) &&
      (((c[4] || c[1] || c[7]) && (c[3] || c[6] || c[9])) || c[0]))
    puts("YES");
  else
    puts("NO");
  return 0;
}
