#include <bits/stdc++.h>
#define rep(i,n) for (int i = 0; i < (n); ++i)
using namespace std;
typedef long long ll;
using P = pair<int,int>;

int main() {
    int n;
    string s;
    cin>>n;
    s=to_string(n);
    if (s[0]=='7'||s[1]=='7'||s[2]=='7') {
        cout<<"Yes"<<endl;
    } else {
        cout<<"No"<<endl;
    }
}