#include "stdio.h"

int main(void)
{
    int a,b,c,i;
    int N;
    scanf("%d",&N);

    a=N%10;
    N=N/10;
    b=N%10;
    N=N/10;
    c=N;

    if(a==7 || b==7 || c==7)
    {
        printf("Yes");
    }
    else
    {
        printf("No");
    }
    
}