#include<stdio.h>
int main()
{
     int n,r;
     scanf("%d",&n);
     if(n>=100&&n<=999){
          while(n>0){
               r=n%10;
               if(r==7){
               printf("yes");
               return 0;
               }
               n=n/10;
          }
               printf("No");
     }
}
