#include <stdio.h>

int main() {
    int N;
    scanf("%d", &N);

    int a,b,c;

    a = N / 100;
    b = (N % 100) / 10;
    c = N % 10;

    if(a == 7 || b == 7 || c == 7) {
        printf("Yes");
    } else {
        printf("No");
    }

    return 0;
}