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

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