#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
// Welcome to my source code!

int main() {
    int n;
    cin >> n;
    if (n <= 6) cout << "Yes" << endl;
    else cout << "No" << endl;
}