#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
#define For(x,y) for(int x=0;x<y;x++)
#define s second
#define f first
#define pb push_back 
#define mp make_pair
int main()
{
    string s;
    int flag=0;
    cin>>s;
    For(i,s.size())
    {
        if(s[i]=='7')
        {
            cout<<"Yes";
            flag=1;
            break;
        }
    }
    if(flag == 0)
        cout<<"No";
    return 0;
}