#include<bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); ++i)
#define rrep(i,n) for(int i = 1; i <= (n); ++i)
#define COUT(x) cout << (x) << endl
using namespace std;
typedef pair<int,int> P;
typedef long long int ll;
const ll LINF = 1001002003004005006ll;
const int INF = 1001001001;
const int MOD = 1000000007;


int main() {
    int n; cin >> n;
    if(n / 100 == 7) {
        COUT("Yes");
        return 0;
    } else if((n % 100) / 10 == 7) {
        COUT("Yes");
        return 0;
    } else if((n %10) == 7) {
        COUT("Yes");
        return 0;
    } else {
        COUT("NO");
        return 0;
    }

    
    return 0;
}