#include <stdio.h>
#include <stdbool.h>
#define LENGTH 256
#define NUM 5

int main(void) {
    char input[LENGTH];
    int n;
    fgets(input, LENGTH-1, stdin);
    sscanf(input, "%d", &n);
    
    bool j = false;
    int result[3];
    result[0] = n / 100;
    n = n % 100;
    result[1] = n / 10;
    n = n % 10;
    result[2] = n;

    for(int i = 0;i<3;i++){
        if(result[i] == 7) {
            j = true;
        }
    }

    if (j) {
        printf("Yes");
    }else{
        printf("No");
    }
    
    return 0;
}
