#include <bits/stdc++.h>
using namespace std;
 
#define rep(i,N); for (int i = 0; i<N; i++)
#define in(N); cin >> N
#define out(ans); cout << ans << endl;

int main() {
  int N;
  string N1;
  in(N);
  N1=to_string(N);
  if (N1.at(0)=='7' || N1.at(1)=='7' || N1.at(2)=='7') cout << "Yes" << endl;
  else cout << "No" << endl;

}