#include <stdio.h>

int main(void){
    char a[3];
    int i;
    scanf("%s",a);

    for(i=0;i<3;i++){
        if(a[i]=='7'){
            printf("Yes");
        }
    }

    printf("No");

    return 0;
}