#include <bits/stdc++.h>
constexpr int INF = 2147483647;
constexpr long long int INF_LL = 9223372036854775807;
constexpr int MOD = 1000000007;
using namespace std;
typedef long long int ll;
typedef unsigned long long int ull;

random_device a;

int main(int argc, char* argv[]) {
	int b = a();
	if (b % 5 < 3)cout << "Yes" << endl;
	else cout << "No" << endl;
	return 0;
}