#include <bits/stdc++.h>
#include <algorithm>
#define _GLIBCXX_DEBUG
#define rep(i,n) for(int i=0;i<(n);++i)
#define all(x) (x).begin(), (x).end()
#define PB(x) push_back(x)
#define MP(x,y) make_pair(x,y)
using namespace std;
typedef long long ll;
typedef pair<int, int> P;


int main() {
    
    string s;
    cin >> s;
    int n = s.size();
    rep(i,n) {
        if(s[i] == '7') {
            cout<<"Yes"<<endl;
            return 0;
        }
    }

    cout<<"No"<<endl;

 return 0;
}
