#include <stdio.h>

int main(){

    char N[3];
    scanf("%s", N);
 
    if(N[0] == '7'){
     printf("Yes");
    }else if(N[1] == '7'){
        printf("Yes");
    }else if(N[2] == '7'){
     printf("Yes");
    }else{
     printf("No");
    }

 return 0;
}