#include <bits/stdc++.h>
#define int long long
using namespace std;
signed main() {
    string s;
    cin>>s;
    string a[29] = {"  ","123","321","456","654","789","987","147","741","258","852","369","963","/*-","-*/","58/","/85","69*","*96","89+","+98","56+","+65","014","140","520","025",".36","36."
    };
    for (int i=1;i<=29;i++) 
        if(a[i]==s){
            cout<<"Yes";
            return 0;
        } 
    cout<<"No";
    return 0;
}