#include<bits/stdc++.h>
using namespace std;
#define     ll              long long
#define     MAX             100000
#define     FI              freopen("input.txt","r",stdin)
#define     FO              freopen("output.txt","w",stdout)
#define     fast            ios_base::sync_with_stdio(false);cin.tie();cout.tie();
#define     sc(a)           scanf("%d",&a)
#define     sc2(a,b)        scanf("%d %d",&a,&b)


int main()
{
    int n;
    cin>>n;
    string ans = "No\n";
    while(n)
    {
        if(n%10==7)
            ans = "Yes\n";
        n/=10;
    }
    cout<<ans;
    return 0;
}
