#include <stdio.h>

int main (void)
{
    char N[3];
    scanf("%s", N);
    int N0 = N[0] - '0';
    int N1 = N[1] - '0';
    int N2 = N[2] - '0';
    //printf("%d,%d,%d\n", N0,N1,N2);
    if (N0==7 || N1==7 || N2==7) {
        printf("Yes");
    } else {
        printf("No");
    }
    return 0;
}