// Shinchan Loves Coding :)))
#include<bits/stdc++.h>

using namespace std;

#define night_rider ios::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#define int long long
#define double long double
#define en "\n"
#define no 1e5
#define big 1e7+1
#define fi first
#define se second
#define modulo 1e9+7
#define MP make_pair
#define PB push_back
typedef vector<int> vi;
typedef pair<int,int> vii;

signed main()
{
    night_rider
  //  freopen("input.txt","r",stdin);
  //  freopen("output.txt","w",stdout);

    string s;
    cin>>s;
    for(int i=0 ; i<s.length() ; i++)
    {
        if(s[i]=='7')
            return cout<<"Yes",0;
    }
        cout<<"No";
}

