#include <stdio.h>
int main(void){
    int N, a, b, c, cnt = 0;
    
    scanf("%d", &N);
    
    a = N / 100;
    b = N/10;
    c = N%100;
    if(a == 7 || b == 7 || c == 7){
        printf("Yes\n");
    }else{
        printf("No\n");
    }
    
}