#include <stdio.h>

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

    if (n % 10 == 7 || n/ 10 % 10 == 7 || n / 100 % 10 == 7)
    {
        printf("Yes");
    }
    else
        printf("No");

    return 0;
}
