#include  <iostream>
#include  <algorithm>
#include  <cstddef>
#include  <string>

using namespace std;

#define rep(i, n) for(int i = 0; i < n; i++)
#define lrep(i, n, m) for(int i = n; i < m; i++)

const int MAX = INT_MAX;

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