#include <stdio.h>

void main(void)
{
    char c[4];
    scanf("%s",&c[0]);

    if(c[0] == '7' ||
    c[1] == '7' ||
    c[1] == '7' ) {
        printf("Yes");
    }else {
        printf("No");
    }

    return;
}