#include <iostream>
#include <algorithm>
#include <functional>
#include <vector>
#include <set>
#include <map>
#include <stack>
#include <queue>
#include <string>

#define rep(i, n) for (int i = 0; i < n; i++)
using namespace std;
typedef long long ll;

template<class T> inline bool chmin(T& a,T b) {if (a > b) {a = b; return true;} return false;}
template<class T> inline bool chmax(T& a,T b) {if (a < b) {a = b; return true;} return false;}

int main(){
  int n; cin >> n;
  int c = (n % 100) % 10;
  int b = ((n % 100) - c ) / 10;
  int a = (n - 10 * b - c) / 100;
  if (a == 7 || b == 7 || c == 7) cout << "Yes" << endl;
  else cout << "No" << endl;
}
