//https://atcoder.jp/contests/abc164/tasks/abc164_c

    #include <stdio.h>
    #include <string.h>

    int main(void)
    {
        int i,l,flg = 0;
        char n[4];
        scanf("%s",&n);

        l = strlen(n);
        for(i=0;i<l;i++){
            if(n[i]=='7'){
                flg =  1;
                break;
            }
        }

        if(flg == 0){printf("No\n");}
        else{printf("Yes\n");}
        
        return 0;
    }