#include <bits/stdc++.h>
using namespace std;
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define rep(i,n)   FOR(i,0,n)
#define pb emplace_back
typedef long long ll;
typedef pair<int,int> pint;

int main(){
    string s;
    cin>>s;
    int cur=0;
    int n=s.size();
    bool flag=false;
    for(int i=n-1;i>=0;--i){
        if(cur==0){
            if(i!=n-1&&(s[i]=='7'||s[i]=='6')) flag=true;
            else if(!flag&&(s[i]=='2'||s[i]=='3'||s[i]=='4')) cur=1;
            else{
                cout<<"No"<<endl;
                return 0;
            }
        }
        else if(cur==1){
            if(s[i]=='7'||s[i]=='8') flag=true,cur=0;
            else if(!flag&&(s[i]=='3'||s[i]=='4'||s[i]=='5')) cur=1;
            else if(!flag&&i==0&&s[i]=='1') cur=0; 
            else{
                cout<<"No"<<endl;
                return 0;
            }
        }
    }
    if(cur==0) cout<<"Yes"<<endl;
    else cout<<"No"<<endl;
    return 0;
}