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

#define int long long
#define pii pair<int, int>
#define pb push_back

signed main(){

    ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
    string s;
    cin >> s;
    bool found = 0;
    for(auto x: s){
        found |= (x == '7');
    }
    if(found){
        cout << "YES\n";
    }
    else{
        cout << "NO\n";
    }
    

    return 0;
}