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


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


    while ( n!= 0)
    {
        if (n%10 == 7)
        {
            var = 1;
            break;
        }
        n=n/10;
    }

    if(var==1){
        printf("Yes\n");
    }
    else printf("No\n");

    return 0;
}
