#include<bits/stdc++.h>
using namespace std;

#define endl '\n'

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    string s; cin >> s;
    if (s[0] == '7' || s[1] == '7' || s[2] == '7') cout << "Yes\n";
    else cout << "No\n";
}