#include<stdio.h>
int main()
{
   int n,count=0;
   scanf("%d",&n);
   while(n!=0)
   {
       int r=n%10;
       n=n/10;
       if(r==7)
       {
          count++;
           break;
       }
       }
   if(count==0)
    printf("No");
   else
    printf("Yes");
return 0;
}
