#include <bits/stdc++.h>
#define rep(i,n) for (int i=0;i<(n);++i)
using namespace std;
 
int main() {

    int n;
    cin>>n;

    if(n%100==7||(n/10)%10==7||n/100==7){cout<<"Yes"<<endl;}
    else{cout<<"No"<<endl;}