#include <bits/stdc++.h> 

using namespace std;

typedef long long ll;



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