#include <stdio.h>
int main(void){
    char n[4];
    int ans=0;
    scanf("%s",n);
    for(int i=0; i<3; i++){
        if(n[i]=='7'){
            ans=1;
        }
    }
    if(ans==1)
        printf("Yes");
    else
        printf("No");
}
