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

int main(){
string N; cin>>N;
  if(N.at(0)!='7'&&N.at(1)!='7'&&N.at(2)!='7'){cout<<"No"<<endl;}
  else{cout<<"Yes"<<endl;}
}
