#include<stdio.h>
int main()
{
    int N,a,b,c;
    scanf("%d",&N);
     a=N%10;
     N=(N-a)/10;
     b=N%10;
     N=(N-b)/10;
     c=N;
     if(a==7||b==7||c==7)
     printf("Yes\n");
     else
       printf("No\n");
    return 0;
}

