// abc162_a.cc
#include <bits/stdc++.h>
using namespace std;

int main() {
	int n; cin >> n;
	bool ans = false;
	while (n > 0) {
		int last = n % 10;
		if (last == 7) { 
			cout << "Yes";
			return 0;
		}
		n /= 10;
	}
	cout << "No";
	return 0;
}