#include <iostream>

int main() {
    int N;

    scanf("%d",&N);

    while(N){
        if(N % 10 == 7){
            printf("Yes");
            return 0;
        }

        N = N / 10;
    }
    printf("No");

    return 0;
}
