#include <iostream>
#include <vector>
#include <algorithm>
#include <string>


using namespace std;

int main(){

    int N; cin>>N;

    string s = to_string(N);
    auto p = find (s.begin(), s.end(), '7');
    if (p == s.end()) cout<<"No"<<endl;
    else cout<<"Yes"<<endl;

    return 0;
}