#include <bits/stdc++.h>
#define rep(i, a, n) for(int i = a; i < n; i++)
#define REP(i, n) rep(i, 0, n)
#define repb(i, a, b) for(int i = a; i >= b; i--)
#define all(a) a.begin(), a.end()
#define int long long
#define chmax(x, y) x = max(x, y)
#define chmin(x, y) x = min(x, y)
using namespace std;
typedef pair<int, int> P;
const int mod = 1000000007;
const int INF = 1e12;

signed main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    string s;
    cin >> s;
    bool f = true;
    if(s.size() == 1) f = false;
    if(s[0] != '1') f = false;
    if(!('2' <= s[s.size() - 1] && s[s.size() - 1] <= '4')) f = false;
    rep(i, 1, s.size() - 1){
        if(!('3' <= s[i] && s[i] <= '5')) f = false;
    }
    if(f) cout << "Yes" << endl;
    else cout << "No" << endl;
}