#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; }