#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, dig;
    int ans = 0;
    scanf("%d", &n);

    while (n)
    {
        dig = n % 10;
        if (dig == 7)
        {
            puts("Yes");
            return 0;
        }
        n = n / 10;
    }

    puts("No");
    return 0;
}