#include<vector>
#include<iostream>
#include<string>
#include<algorithm>
#include<math.h>
#include<map>
#include<functional>
#include<queue>
#include<stack>
#include<string.h>
#include<list>
#define MOD 10000
#define INF 1000000000
#define MAX 101
using namespace std;
typedef long long int ll;
typedef pair<int,int> P;
int main() {
    string s;
    cin>>s;
    int sl=s.length();
    bool ans=true;
    for(int i=0;i<sl;i++){
        if(i==0){
            if(s[i]!='1'){
                ans=false;
            }
        }else if(i<sl-1){
            if(s[i]!='3'&&s[i]!='4'&&s[i]!='5'){
                ans=false;
                break;
            }
        }else{
            if(s[i]!='2'&&s[i]!='3'&&s[i]!='4'){
                ans=false;
                break;
            }
        }
    }
    if(ans){
        cout<<"Yes"<<endl;
    }else{
        cout<<"No"<<endl;
    }
}