#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
using mint = modint998244353;

int main() {
  int n; cin >> n;
  cout << (n % 8 == 0 || n % 8 == 7 ? "Yes": "No") << endl;
  return 0;
}