#include <stdio.h>
int main()
{
    int n,mod;
    scanf("%d",&n);
    for(int i=1;i<=100;i*=10)
    {
        mod=(n/i)%10;
        if(mod==7)
        break;
    }
    if(mod==7)
    printf("Yes");
    else
    printf("No");
}
