#include<stdio.h>
#include<stdlib.h>
#include<math.h>
#define rep(i,n) for(i=0;i<n;i++)
#define PI 3.14159265358979323846264338327950L
int main(){
    char a[3];
    int i;
    scanf("%s",a);
    rep(i,3){
        if(a[i]=='7') break;
    }
    if(i==3) printf("No");
    else printf("Yes");
    return 0;
}