#include<stdio.h>
#include<string.h>
int main()
{
    char N[3];
    int i;
    scanf("%s",&N);
    for(i=0;i<3;i++)
    {
    if(N[i]=='7')
    {
        printf("Yes\n");

    return 0;
    }
    }
    printf("No\n");

}