// By Atul Rathore

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

#define ll long long int
#define f(n) for(int i=0;i<n;i++)
#define p(x) cout<<x<<endl;
#define fastio ios::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
	


int main()
{
	fastio;
	int n;
	cin>>n;
	int c=0;
	while(n)
	{
		if(n%10==7)c=1;
		n/=10;
	}
	if(c==1)cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
	
	
}
