#include <stdio.h>
#include <stdlib.h>
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define max(a, b) ((a) > (b) ? (a) : (b))
#define min(a, b) ((a) < (b) ? (a) : (b))
typedef long long ll;

int main(void)
{
    int n;
    int ans = 0;
    scanf("%d", &n);

    if (n % 10 == 7 || n % 100 == 7 || n % 1000 == 7)
        puts("Yes");
    else
        puts("No");

    return 0;
}