#include<stdio.h>
#include<stdlib.h>
#include<math.h>
#include<assert.h>

#define max(a,b) ((a)>(b))?(a):(b)
#define min(a,b) ((a)>(b))?(b):(a)

typedef long long ll;
typedef unsigned long long ull;

int main(void)
{
    char s[4];
    scanf("%s", s);

    if (s[0] == '7' || s[1] == '7' || s[2] == '7')
    {
        printf("Yes");
    }
    else
    {
        printf("No");
    }
}