#include <inttypes.h>
#include <math.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void)
{
    char N[4];

    gets(N);

    if (strchr(N, '7')) {
        puts("Yes");
    } else {
        puts("No");
    }

    return 0;
}
