#include <iostream>
#include <bits/stdc++.h>
#include <vector>
#include <string>
#include <string.h>

using namespace std;
#define ll long long int

int main(){
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);

	string n;
	cin>>n;
	bool flag;
	flag=false;
	for (int i = 0; i < n.size(); ++i)
	{
		if(n[i]=='7'){
			flag=true;
			break;
		}
	}
	if(flag){
		cout<<"Yes"<<endl;
	}
	else
		cout<<"No"<<endl;
	return 0;
		
}
