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