#include <iostream>
#include <algorithm>
#include <string>
#define endl '\n'
#define ll unsigned long long
using namespace std;

string N;

string Solution(string N) {

	for (auto x : N) if (x == '7') return "Yes";
	return "No";
}

int main() {
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);

	cin >> N;
	string s = Solution(N);
	cout << s << endl;
	
	system("pause");
	return 0;
}