#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll inf=144499999999994;
ll mod=998244353;
int main(){
    string s;
    cin >> s;
    if (s[0]=='4'||s[0]=='5')
    {
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    
}