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

int main(){
    string n;
    cin >> n;
    string ans ="No";
    for(auto x: n){
        if(x=='7') ans="Yes";
    }
    cout << ans << endl;
}