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


int main()
{
    int NUMBER;
    scanf("%d", &NUMBER);
    int DIGIT_TO_FIND = 7;
    int thisNumber = (NUMBER >= 100 && NUMBER <= 999) ? NUMBER : -NUMBER;
    int thisDigit;

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

    }
    return 0;
}
