#include <bits/stdc++.h>
#define rep(i, n) for(int i = 0; i < n; i++)

using namespace std;
using ll = long long;

int main(){
    int n; cin >> n;
    string s = to_string(n);
        if(s[0] == '7' || s[1] == '7' || s[2] == '7'){
            cout << "Yes" << endl;
        }else{
            cout << "No" << endl;
        }

    return 0;
}