#include"bits/stdc++.h"
using namespace std;

void Main() {
	string N;
	cin >> N;
	int pos = N.find("7");
	if (pos == string::npos) {
		cout << "No" << endl;
	}
	else {
		cout << "Yes" << endl;
	}
}

int main() {
	Main();
}