#include <iostream>
#include <string>
#include <algorithm>
#include <vector>
using namespace std;
#define int long long int

signed main(){
    string a;
    cin >> a;
    
    for(int i=0;i<3;i++){
        if(a[i]=='7'){cout << "Yes" << endl;return 0;}
    }
    cout << "No" << endl;
}