//For fast competitive programming

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

//DATA_TYPES
typedef long long ll; 
typedef vector<int> vi;
typedef pair<int, int> ii; 
typedef vector<ii> vii;
const int INF = 0x3f3f3f3f; //Infinity

//INITIALISING
//memset(arr, 0, sizeof arr);
//vi v(N, 0);

int main()
{
	std::ios_base::sync_with_stdio(0);
	std::cin.tie(NULL);
	
	//write your code here
	int t;
	cin>>t;
/*	for(int z=0;z<t;z++)
	{
	cout<<"Case #"<<z+1<<":";
	//take inputs for TC
*/	
//int no =0;
	if ((t %10)==7)
	{cout<<"Yes"<<endl;
	    return 0;
	}
	t=t/10;
	if ((t %10)==7)
	{cout<<"Yes"<<endl;
	    return 0;
	}
	t=t/10;
	if (t==7)
	{cout<<"Yes"<<endl;
	    return 0;
	}
	
	cout<<"No"<<endl;
	

	
	
	return 0;
}