#include <bits/stdc++.h>
using namespace std;
#define REP(i,n) for(int i=0; i<(n); i++)
#define REP2(i,x,n) for(int i=x; i<(n); i++)
#define ALL(n) begin(n),end(n)
#define sz(x) int(x.size())
using ll = long long;
const ll LLINF = numeric_limits<long long>::max();
const int mod = 1000000007;
const int INF = 1001001001;

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