#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 1e5+100;
int n,f;
int main(){
    scanf("%d",&n);
    while(n){
        if(n%10==7) f=1;
        n/=10;
    }
    if(f) printf("Yes\n");
    else printf("No\n");
}