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

int main(){
    char s[3];
    char* str = "No";
    for(int i = 0; i < 3; i++){
        scanf("%c", &s[i]);
        if(s[i] == '7'){
            str = "Yes";
        }
    }
    printf("%s", str);
    return 0;
}
