#include <bits/stdc++.h>
using namespace std;

int main() {
    string s;
    cin >> s;

    string ans = "No";

    for (int i=0; i<3; i++) {
        if (s.at(i) == '7') ans = "Yes";
    }

    cout << ans << endl;
}