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