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

int main() {
    char N[3];
    scanf("%s", N);

    int flag=0;
    for (int i=0; i<=2; i++) {
        if(N[i]=='7') {
            flag=1;
            break;
        }
    }
    flag 
        ? printf("Yes\n") 
        : printf("No\n");
    return 0;
}