#include<stdio.h>
int main(void) {
    int n, a, b;
    scanf("%d",&n);
    a = (n / 10) % 10;
    b = n % 100;
    if (n / 100 == 7) {
        printf("Yes");
        return 0;
        if (a == 7) {
            printf("Yes");
            return 0;
            if (b == 7) {
                printf("Yes");
                return 0;
            }
        }
    }
    printf("No");
    return 0;
}