#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;
    }
    else if (a != 7) {
        printf("Yes");
        return 0;
    }
    else if (b != 7) {
        printf("Yes");
        return 0;
    }
    else {
        printf("No");
    }
    return 0;
}