#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
typedef int64_t  ll;

int main () {
    string s;
    cin >> s;
    bool flag = false;
    rep(i, s.size()) {
        if('7' == s.at(i)) {
            flag = true;
        }
    }
    if(flag) {
        printf("Yes");
    }
    else {
        printf("No");
    }
}