#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (n); ++i)
using ll = long long;
using P = pair<int, int>;

const int INF = 1000000001;

int main(void)
{
  int n;
  cin >> n;

  set<int> s;
  rep(i, n) s.insert(i % 6 + 1);

  if (s.size() < 6)
    cout << "No";
  else if (n % s.size() == 0)
    cout << "Yes";
  else
    cout << "No";
  cout << '\n';
  return 0;
}