    #include <bits/stdc++.h>
    #define MAX 100007
     
    #define REP(i, N) for(int (i)=0; (i) < (N); (i)++)
    #define PER(i, N) for(int (i)=(N)-1; (i) >= 0; (i)--)
     
    using namespace std;
    typedef long long ll;
    typedef pair<ll, int> pii;
     
    int main(){
        
        string s; cin >> s;
     
        REP(i, s.size()){
            if(s[i] == '7') {
                cout << "Yes\n";
                return 0;
            }
        }
        cout << "No\n";
        return 0;
    }