#include <stdio.h>

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