#include <stdio.h>
#include <string.h>
#include <math.h>
#include <stdlib.h>
#include <limits.h>

#define max 100

//qsort(str, n, sizeof(int), up_comp);
int up_comp(const void *a, const void *b){return *(int*)a - *(int*)b;}
int down_comp(const void *a, const void *b){return *(int*)b - *(int*)a;}
int count_digit(int a){int i=0;while (a!=0) {a=a/10;i++;}return i;}

int main()
{
    int n, i, hun, ten, one;
    
    scanf("%d", &n);
    
    hun=n/100;
    ten=(n-hun*100)/10;
    one=n-hun*100-ten*10;
    
    if (hun==7||ten==7||one==7) {
        printf("Yes");
    }else {
        printf("No");
    }
    
    
    return 0;
}

