#include<bits/stdc++.h>
#define IO ios::sync_with_stdio(false), cin.tie(0)
#define INF 0x3f3f3f3f
typedef long long ll;
using namespace std;

int main()
{
	IO;
	string s;
	cin>>s;
	for(int i=0;i<s.length();i++){
		if(s[i]=='7'){
			cout<<"Yes"<<endl;
			return 0;
		}
	} 
	cout<<"No"<<endl;
 	return 0;
}





