#include <iostream>
#include <string>
#include <vector>
#include <cmath>
#include <deque>
#include <queue>//for queue and priority_queue
#include <fstream>
#include <iomanip>
#include <stack>
#include <algorithm>
#define endl "\n"
typedef long long ll;

using namespace std;
void Lancer() { ios::sync_with_stdio(0); cin.tie(0); cout.tie(0); }

int  frq[200];
int main(){
	Lancer();
	//cout << fixed << setprecision(12);

	ll n;
	bool ch = false;
	cin >> n;
	while (n)
	{
		if (n % 10 == 7)
			ch = true;
		n /= 10;
	}
	cout << (ch == true ? "Yes" : "No");
	cout << endl;
	return 0;
}
