#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
#include <string.h>

int main(int argc, char *argv[]){
        char str[4];
        fgets(str, 4, stdin);
        int f = 0;
        for(int i=0;i < 3; i++){
                if(str[i] == '7'){
                        f = 1;
                }
        }
        if(f == 1){
                printf("Yes\n");
        }else{
                printf("No\n");
        }
        return 0;
}