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

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

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

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