#include<bits/stdc++.h>
using namespace std;
stack<int>st;
queue<int>q;
vector<int>v,v1,v2,v3;
set<int>stt;
set<int>::iterator set_it;
map<string,int>mp;
//initialy map er all index er value zero thake;
//map er jonno this pointer(->) use korte hoy
//akta value dakhar jonno staristics pointer(*) use  korte hoy
// one more value print korar jonno this pointer(->) use korte hoy (must be)
map<string,int>::iterator map_it;
int a[20007];
int i,j,k,l,m,n,cnt=0,sum=0,mx=0,mn=0;
string s,s1,s2;
int main()
{
    cin>>s;
    int flag=0;
    for(i=0; i<s.size(); i++)
    {
        //cout<<s[i]<<endl;
        if(s[i]=='7')
        {
            cout<<"Yes"<<endl;
            return 0;

        }

    }

        cout<<"No"<<endl;

    return 0;
}
