#include<stdio.h>

int main()
{
    int n,i,c=0,s;
    scanf("%d",&n);

   for(i=n;i>0;i=i/10)
    c++;
   for(i=n;i>0;i=i/10)
   {
       s=i%10;
       if(s==7)
       {
           printf("Yes");
           break;
       }
       else
        printf("No");
   }

}
