 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 int main(){
 int i;
 char token[300]={};
 fgets(token, sizeof(token), stdin);
 for (i=0; i<4; i++) {
 if (token[i]=='7'){
 printf("Yes");
 return 0;
 }
 }
 printf("No");
 return 0;
 }