#include<bits/stdc++.h>
using namespace std;
#define fastio() ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#define ll long long
#define ull unsigned long long
#define vi vector<int>
/* #define pi pair<int, int> */
#define F first
#define S second
#define PB push_back
#define MP make_pair
#define deb(x) cout << #x << ":" << x << endl;
/* freopen("input.txt", "r", stdin); */
/* freopen("output.txt", "w", stdout); */
const ll inf = 1e17 + 7, MOD = 1e7 + 9;


int main() {
	fastio();
	string s;
  	cin >> s;
  int i;
  	for(i =0;i<s.length();i++)
      if(s[i] == '7')
        break;
  if(i == s.length())
    cout << "No\n";
  else
    cout << "Yes\n";
      
	return 0;
}
