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