#include <stdio.h>

int main(){
    int n;
    scanf("%d", &n);

    int i;
    for(i = 0; i < 3; ++i){
        if(n % 10 == 7){
            printf("Yes");
            break;
        }else if(n % 10 != 7){
            n = n / 10;
            if(n % 10 == 7){
                printf("Yes");
                break;
            }
        }else if(n % 10 != 7){
            if(n / 100 == 7)
                printf("Yes");
                break;
        }
        printf("No");
        break;
    }

    return 0;
}