#include <stdio.h>

int main()
{
    char n[4] ;
    int i, f = 0;
    scanf("%s", n);
    for (i = 0; i < 3; i++)
    {
        if (n[i] == '7')
            f = 1;
    }
    if (f == 1) printf("Yes");
    else printf("No");
    return (0);
}