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

#define int long long int

void fileioe(){
	freopen("input.txt", "r", stdin);
	freopen("output.txt", "w", stdout); 
	freopen("error.txt","w",stderr);
}
#define GO ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);

#ifndef ONLINE_JUDGE
#define fioe() fileioe()
#else
#define fioe() 1
#endif
//!

int32_t main()
{
	GO
	//fioe();
	string s;
	cin>>s;bool flag = false;
	for(int i=0;i<s.length();i++){
		if(s[i] == '7')
			flag = true;
	}	
	if(flag)
		cout<<"Yes"<<endl;
	else
		cout<<"No"<<endl;	
	return 0;
}