#include<bits/stdc++.h>
using namespace std;
int main(){
    string s;
    cin>>s;
    if(s=="123"||s=="456"||s=="789"||s=="/*-"||s=="987"||s=="654"||s=="321"||s=="-*/"||s=="741"||s=="410"||s=="147"||s=="014"||s=="852"||s=="520"||s=="025"||s=="258"||s=="963"||s=="369"||s=="63."||s==".63"||s=="/85"||s=="58/"||s=="*96"||s=="69*"||s=="89+"||s=="+98"||s=="56+"||s=="+65"){
        cout<<"Yes";
    }else{
        cout<<"No";
    }
}