#include <stdio.h>

int main()
{
    int a = 0;
    char N[2];
    scanf("%s", N);
    if (N[0] == '7')
    {
        a++;
    }
    if (N[1] == '7')
    {
        a++;
    }
    if (N[2] == '7')
    {
        a++;
    }
    if (a == 0)
    {
        printf("No\n");
    }
    else
    {
        printf("Yes\n");
    }
    
    return 0;
}