A

While swimming at the beach, Mike has accidentally dropped his cellphone into the water. There was no worry as he bought a cheap replacement phone with an old-fashioned keyboard. The keyboard has only ten digital equal-sized keys, located in the following way:

Together with his old phone, he lost all his contacts and now he can only remember the way his fingers moved when he put some number in. One can formally consider finger movements as a sequence of vectors connecting centers of keys pressed consecutively to put in a number. For example, the finger movements for number "586" are the same as finger movements for number "253":

Mike has already put in a number by his "finger memory" and started calling it, so he is now worrying, can he be sure that he is calling the correct number? In other words, is there any other number, that has the same finger movements?

Input

The first line of the input contains the only integer n (1 ≤ n ≤ 9) — the number of digits in the phone number that Mike put in.

The second line contains the string consisting of n digits (characters from '0' to '9') representing the number that Mike put in.

Output

If there is no other phone number with the same finger movements and Mike can be sure he is calling the correct number, print "YES" (without quotes) in the only line.

Otherwise print "NO" (without quotes) in the first line.

Examples

Input

3
586

Output

NO

Input

2
09

Output

NO

Input

9
123456789

Output

YES

Input

3
911

Output

YES

Note

You can find the picture clarifying the first sample case in the statement above.

题意：给定一个0-9的数字键盘，随后输入一个操作序列，问该操作序列在键盘上形成的手势是否是唯一的，是则输出YES，否则为NO。

本题可以做一个响亮的边界处理，我们设上下左右方向的向量分别为U、D、L、R，当不可向该方向移动时对应的字母值为1。例如当操作序列含0时，左右下都不可移动，则L=R=D=0；

附AC代码：

#include<iostream> 
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;

int main(){
    int n;
    char s[10000];
    while(cin>>n>>s){
        int U=0,D=0,L=0,R=0;
        for(int i=0;i<n;i++){
        if(s[i]=='0')
        D=R=L=1;
        if(s[i]=='1'||s[i]=='2'||s[i]=='3')//上 
        U=1;
        if(s[i]=='1'||s[i]=='4'||s[i]=='7')//左 
        L=1;
        if(s[i]=='3'||s[i]=='6'||s[i]=='9')//右 
        R=1;
        if(s[i]=='7'||s[i]=='9')//下 
        D=1;    
        }
        if(U==1&&D==1&&R==1&&L==1)//当所有方向都不可走时，即手势唯一 
        cout<<"YES"<<endl;
        else
        cout<<"NO"<<endl;
    }
    return 0;
}