#include <bits/stdc++.h>

#define debug(x) cout << '>' << #x << ':' << x << endl
using namespace std;

string solve() {
    int N;
    cin >> N;
    if(N / 100 == 7) {
        return "Yes";
    }
    N = N / 100;
    if(N/10 == 7){
        return "Yes";
    }

    N = N % 10;
    if(N == 7){
        return "Yes";
    }
    return "NO";
}

int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    cout << solve() << endl;
   
    return 0;
}