#include<bits/stdc++.h>
using namespace std;
int main()
{
    int a,b,c,d,e,f,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z;
    int ar[100005],br[100005];

    cin>>n;
    f=0;
    while(n>=10)
    {
        a=n%10;
        //cout<<a;
        if(a==7){cout<<"Yes"<<endl;f=1;}
        n=n/10;

    }
    if(n==7){cout<<"Yes"<<endl;f=1;}
    if(f==0){cout<<"No"<<endl;}






    return 0;
}
