#include <bits/stdc++.h> 

using namespace std;

typedef long long ll;

#define REP(i,n) for(ll i=0;i<(ll)(n);i++)

int main(void){
    string s;
    cin >> s;
    string ans = "No";
    rep(i,0,3){
        if(s[i] == '7'){
            ans = "Yes";
            break;
        }
    }
    cout << ans << endl;
}