#include <stdio.h>

int main(void){
    int N;
    scanf("%d", &N);
    if(N < 100 || N > 999){
        return 0;
    }
    int tmp = N;
    int ans = 0;
    while(tmp > 0){
        if(tmp%10 == 7){
            ans = 1;
        }
        tmp /= 10;
    }
    if(ans == 1){ printf("Yes\n"); }
    else{ printf("No\n"); }
    return 0;
}