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

int main(){
    int N, a, b, c;
    string ans;
    cin >> N;
    a = N / 100;
    b = (N - a*100) / 10;
    c = N - a*100 - b*10;
    if((a == 7) || (b == 7) || (c == 7)){
        ans = "Yes";
    }else{
        ans = "No";
    }

    cout << ans << endl;
    return 0;
}