#include <iostream>
using namespace std;

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

    bool is=0;
    while (n) {
        int r=n%10;
        if (r==7) {
            is=1;
        }

        n/=10;
    }

    if (is)     cout << "Yes";
    else        cout << "No";

    return 0;
}
