#include<bits/stdc++.h>
using namespace std;
int main(){
	int n;
	cin>>n;
	int flag = 0;
	vector<int> v;
	while(n>0){
		int digit  = n%10;
		v.push_back(digit);
		n = n/10;
	}
	for(int i=0 ;i<v.size(); i++){
		if(v[i] == 7){
			flag = 1;
		}
	}
	if(flag == 1){
		cout<<"Yes";
	}
	else{
		cout<<"No";
	}
	return 0;
}