#include <stdio.h>

int main(void)
{
    char s[3];
    int flag=0;

    scanf("%s",s);
    //printf("%s",s);

    for (int i=0;i<3;i++)
        if (s[i]=='7')
            flag=1;

    if (flag==1)
        printf("Yes\n");
    else
        printf("No\n");


    return 0;
}