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

int main() {

    //int x, y, z;
    //scanf("%d%d%d", &x, &y, &z);

    char s[4];
    scanf("%s",s);
    
    if(s[0]== '7' || s[1] == '7' || s[2] == '7'){
            printf("Yes");
    }else{
        printf("No");
    }
 


    return 0;

}
