#include<bits/stdc++.h>
#define  ll   long long int
#define  sz   200010

using namespace std;


int main()
{


    ll n,i,j,k,d;

    cin>>n;

    while(n>0)
    {
        d=n%10;
        if(d==7)
        {
            cout<<"Yes"<<endl;
            return 0;
        }
        n=n/10;
    }


    cout<<"No"<<endl;

    return 0;
}
