#include<iostream>
#include<algorithm>
#include <vector>

using namespace std;

int main() {
	string n;
	string seven = "No";
	cin >> n;

	for (int i = 0; i < 3; i++) {
		if (n[i] == '7') {
			seven = "Yes";
		}
	}

		cout << seven;
}