#include<bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
using namespace std;

bool isLucky(string &s) {
	for (char ch : s)
		if(ch=='7') return true;
	return false;
}
int main() {
	cin.tie(0); cout.tie(0); ios_base::sync_with_stdio(0);
	string s; cin>>s;
	cout<<(isLucky(s) ? "Yes" : "No")<<endl;
	return 0;
}