#include <iostream>
#include <string>
#include <set>
#include <algorithm>
using namespace std;

int main() {
    int n;
    cin >> n;

    bool flag = 0;
    while (n) {
        if (n%10 == 7) flag = 1;
        n /= 10;
    }

    if (flag) cout << "Yes" << endl;
    else cout << "No" << endl;

    return 0;
}