#include<bits/stdc++.h>
#include<cmath>
#include<algorithm>
#include<vector>
using namespace std;
int main()
{
	int i,j,n,m;
     int tc;
     
     	int odd=0,even=0;
     	
        cin>>n;
         while(n)
         {
         	int k=n%10;
         	n/=10;
         	
         	if(k==7)
			 {
			 	
			    cout<<"Yes"<<endl;
			    return 0;
			 }
		
		 }
		cout<<"No"<<endl;
  	
	  
	
	
	return 0;
}