#include<stdio.h>
#include<math.h>
#include<string.h>
#include<stdlib.h>
#define MOD 1000000007

int main() {
    int n, i;
    if(scanf("%d", &n)) {
        while(n) {
            if(n%10 == 7) {
                printf("YES");
                return 0;
            }
            n /= 10;
        }
        printf("NO");
    }
    return 0;
}