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

int main()
{
	int a[2],s=0;
	cin>>a[2];
	for(int i=0;i<=2;i++)
	{
		if(a[i]==7)//1 2 3
		{
			s++;
			break;
		}
		else
		s+0;
	}
	if(s==0)
	cout<<"No";
	if(s>=1)
	cout<<"Yes";
	return 0;
 } 