#include<stdio.h>

int main()
{
    int m;
    char n[5];

    for(m=0; m<3; m++)
    {
        scanf("%c",&n[m]);
        if(n[m]=='7')
            goto end;
    }
    printf("No\n");
    goto finish;
end:
    printf("Yes\n");
finish:
    return 0;
}
