#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
//#define in freopen("in.txt","r",stdin)
//#define out freopen("out.txt","w",stdout) 
#define N 1e9+10;
ll n,m,i,j,k,t,l,r;
ll a,b,c,d;
char A,C,X,Y,Z;
ll ans,MAX,MIN,sum;
ll ax[2000500];
char cx[500];
ll dx[12];
ll bx[500];


int main()
{
    t=1;
    //scanf("%lld",&t);
    while(t--)
    {
        cin >> n;
        int flag=0;
        while(n/10)
        {
            if(n%10==7)
            {
                flag=1;
                break;
            }
        }
        if(flag) cout << "Yes" << endl;
        else cout << "No" << endl;
    }
	return 0;
}