#include<stdio.h>
int main()
{
    int n,n1,n2,n3,f=0;
    scanf("%d",&n);
    n1=n%10;
    n2=((n-n1)/10)%10;
    n3=n-n1-n2*10;
    if(n1==7)f++;
    if(n2==7)f++;
    if(n3==7)f++;
    if(f!=0){
        printf("Yes\n");
    }else{
        printf("No\n");
    }
    return 0;
}