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