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