#include <stdio.h>

int main(void){
    int n, rank[3];
    scanf("%d", &n);

    rank[0] = n / 100;
    rank[1] = (n % 100) / 10;
    rank[2] = (n % 10);

    if(rank[0] == 7){
        printf("Yes\n");
        return 0;
    }
    else if(rank[1] == 7){
        printf("Yes\n");
        return 0;
    }
    else if(rank[2] == 7){
        printf("Yes\n");
        return 0;
    }
    else{
        printf("No\n");
        return 0;
    }
}