#include<bits/stdc++.h>

using namespace std;

int main() {
    int N;
    bool ans = false;

    scanf("%d", &N);
    while (N) {
        if (N % 10 == 7)
            ans = true;
        N /= 10;
    }

    if (ans) puts("Yes");
    else puts("No");

    return 0;
}