#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main(void)
{
    int i;
    scanf("%d", &i);
    if (i % 10 == 7)
    {
        printf("Yes\n");
        return 0;
    }
    i = i / 10;
    if (i % 10 == 7)
    {
        printf("Yes\n");
        return 0;
    }
    i = i / 10;
    if (i % 10 == 7)
    {
        printf("Yes\n");
        return 0;
    }
    printf("No\n");
    return 0;
}