#include <stdio.h>

int main(void)
{
    unsigned int N;
    scanf("%d", &N);

    if (N%10 == 7)
    {
        printf("Yes");
    }

    else if ((N/10)%10 == 7)
    {
        printf("Yes");
    }

    else if ((N/100)%10 == 7)
    {
        printf("Yes");
    }

    else
    {
        printf("No");
    }
    
    
    
    
    return 0;
}