#include<bits/stdc++.h>
using namespace std;

int main()
{
	int a[3];
	cin >> a[3];
	if(a[1]==7)
	{
		cout << "Yes" << endl;
		return 0;
	}
	else if(a[2]==7)
	{
		cout << "Yes" << endl;
		return 0;
	}
	else if(a[3]==7)
	{
		cout << "Yes" << endl;
		return 0;
	}
	else
	{
		cout << "No" << endl;
		return 0;
	}
	
}