#include<stdio.h>
int main()
{
    int n, i;
    scanf("%d", &n);
    while(n>0)
    {
        if(n%10 == 7)
            {
                i=1;
            }
        n = n/10;
    }
    if(i == 1)
        printf("Yes\n");
    else
        printf("No\n");
    return 0;
}
