#include<stdio.h>

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