#include <bits/stdc++.h>
#include <set>

using namespace std;

#define rep(i, n) for (int i = 0; i < (int)(n); i++) 
#define ll long long
#define ld long double
#define repl(i, n) for (ll i = 0; i < (ll)(n); i++)  

int main()
{
  string k;
  cin >> k;
  ll ans = 0;
  
  if(k[0] == '7' || k[1] == '7' || k[2] == '7')
  {
    cout << fixed << "Yes" << endl;
  }
  else
  {
    cout << fixed << "No" << endl;
  }
  
  return 0;
}
