#include<bits/stdc++.h>
#define endl "\n" 
using namespace std; 

vector<int>v;
void primeGenerate()
{
    int n=10000000;
    for(int i=0; i<n; i++)
    v.push_back(1);
    v[0]=v[1]=0;
    for(int i=2; i<sqrt(n); i++)
    {
        if(v[i]==1)
        for(int j=2; j*i<=n; j++)
        {
            v[i*j]=0;
        }
    }
}
typedef long long int ll; 
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(NULL);
	#ifndef ONLINE_JUDGE 
    freopen("input.txt", "r", stdin); 
    freopen("output.txt", "w", stdout); 
    #endif
    int n,cnt=0;
    cin>>n;
    while(n!=0)
    {
        if(n%10==7)
        {
            cnt=1;
            break;
        }
        n/=10;
    }
    if(cnt==0)
    cout<<"No"<<"\n";
    else
    cout<<"Yes"<<"\n";
        
    return 0;
}