#include<stdio.h>
#include<string.h>
int main()
{
    char a[10];
    int i,flag=0;
    scanf("%s",a);
    for(i=0;a[i];i++)
        if(a[i]=='7')
        flag=1;
    if(flag==1)
        printf("Yes");
    else printf("No");
    return 0;
}