#include <bits/stdc++.h>

// #include <atcoder/all>

#define rep(i, n) for (int i = 0; i < (int)(n); i++)
using namespace std;
// using namespace atcoder;
using ll = long long;
using p = pair<ll, ll>;
// #define rep(i, n) for (ll i = 0; i < (ll)(n); i++)

int main() {
    char c;
    cin >> c;
    if (c == '4' || c == '5') {
        cout << "Yes" << endl;
        return 0;
    }
    cout << "No" << endl;
    return 0;
}