#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <numeric>
#include <cmath>
#include <stack>
#include <queue>
#include <set>

#define rep(i,n) for(int i=0;i<n;i++)

typedef long long ll;
using namespace std;

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