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