#include<stdio.h>
#include<string.h>
int main()
{
    char n[3];
    gets(n);
    int i;
    if(n[0]=='7' || n[1]=='7'||n[2]=='7')
        printf("Yes");
    else
        printf("No");

    return 0;
}
