#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n;
	cin >> n;
	int a=n/100;
	int b=(n%100)/10;
	int c=n%10;
	if(a==7||b==7||c==7) cout << "Yes" << endl;
	else cout << "No" << endl;
	return 0;
} 