#include <stdio.h>

int main(){
    int N;
    scanf("%d", &N);
    if(N%10==7){
        printf("Yes\n");return 0;
    }
    N/=10;
    if(N%10==7){
        printf("Yes\n");return 0;
    }
    N/=10;
    if(N%10==7){
        printf("Yes\n");return 0;
    }
    printf("No\n");
    return 0;
}