#include <stdio.h>
int main(void){
    // Your code here!
    char str[3];
    int i,j=0;
    gets(str);
    for(i=0;i<3;i++){
        if(str[i]=='7'){
            j++;
        }
    }
    if(j>0){
        printf("Yes\n");
    }
//    printf("%d",j);
    if(j==0){
        printf("No\n");
    }
    return 0;
}