#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef vector<int> vi;
typedef pair<int,int> pi;
#define F first
#define S second
#define PB push_back
#define MP make_pair
#define rep(i,a,b) for (int i = a; i <= b; i++)
#define lin puts("");
ll n,x,y,a[300000],b[300000],c=0,t=0,sum=0,z=0,i,j,f=0;
char ch[101],cr,ss[101];
string s;
int main()
{
    cin>>n;
    while(n)
    {
        if(n%10==7)
        {
            t=1;
            break;
        }
        n/=10;
    }
    if(t)
        cout<<"Yes";
    else
        cout<<"No";
    return 0;
}
