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


int main()
{
    int n;
    scanf("%d", &n);
    int theDigit;

    while ( n!= 0)
    {
        theDigit = n % 10;
        n = n / 10;
        if (theDigit == 7)
        {
            printf("Yes\n");
            break;
        }
        else
        {
            printf("No\n");
            break;
        }

    }
    return 0;
}
