#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
#define pb push_back
#define mp make_pair

int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);

    ll t=1;
    //cin>>t;
    while(t--)
    {
        ll n;
        cin>>n;
        while(n!=0)
        {
            if(n%10==7){cout<<"Yes"<<endl;return 0;}
            n=n/10;
        }
        cout<<"No"<<endl;
        return 0;

    }


    return 0;
}
