#include <bits/stdc++.h>
 
using namespace std;
 
const int MOD=1e9+7;

//const int MOD=998244353;


int main() {
    ios_base::sync_with_stdio(0);
    cin.tie(0);
	
	string s;
	cin>>s;
	
	cout<<(s.find('7')==-1?"No":"Yes");

    return 0;
}