#include<bits/stdc++.h>
#define int int64_t
using namespace std;

const int M = 1e9+7;

signed main() {
    ios_base::sync_with_stdio(0);
    cin.tie(0);

    int n;
  	cin >> n;
    bool ok = false;
    while(n) {
        int d = n%10;
        if(d == 7) ok = true;
        n /= 10;
    }
    if(ok) cout << "YES\n";
    else cout << "NO\n";

    return 0;
}
