#include <bits/stdc++.h>

using namespace std;

#define U unsigned
#define L long
#define LL long long 
#define LLU long long unsigned
#define rarr(arr, n) for(int aab = 0; aab < n; aab++){cin >> arr[aab];}
#define parr(arr, n) for(int aab = 0; aab < n; aab++){cout << arr[aab] << " ";}
#define swap(a, b, tip) tip tempswap = a;a = b;b = tempswap;
#define pb push_back
#define F first
#define S second
#define all(x) x.begin(), x.end()
#define debug(x) cout << #x << " = " << x << "\n";

#define freopen freopen("in.txt", "r", stdin);freopen("out.txt", "w", stdout);
	
int main(){


	char arr[4];

	cin >> arr;

	bool flag = false;

	if(arr[0] == '7'){
		flag = true;
	}
	if(arr[1] == '7'){
		flag = true;
	}
	if(arr[2] == '7'){
		flag = true;
	}

	if(flag){
		cout << "Yes";
		return 0;
	}
	cout << "No";
}