#include<bits/stdc++.h>
using namespace std;
#define int long long int




signed main(){
	ios_base::sync_with_stdio(0);
	cin.tie(NULL);
	char a,b,c;
	cin >> a >> b >> c;
	cout << ((a=='7' || b=='7' || c=='7') ? "Yes" : "No");
	
}