#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
	ios_base::sync_with_stdio(0);
	cin.tie(0);
	string s;
    cin>>s;
    for (int i=0;i<s.size();i++){
        if (s[i]=='7'){
            cout<<"Yes\n";
            return 0;
        }
    }
    cout<<"No\n";
}