#include <stdio.h>
int main(void)
{
   int n = scanf("%d", &n);
    while(n)
    {
        if(n%10==7) {
            printf("YES\n");
            return;
        }
        n /= 10;
    }

    printf("NO\n");
    return 0;
}
