#include <bits/stdc++.h>
typedef long long int LL;
typedef unsigned long long int ULL;
using namespace std;

// 插入此處

int main() {
    std::ios::sync_with_stdio(false);
    cin.tie(0);
    string s; cin >> s;
    bool ok = false;
    for (int i = 0; i < s.size(); ++i) {
        if (s[i] == '7')  ok = true;
    }
    cout << (ok ? "Yes" : "No") << endl;
    return 0;
}
