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

int main() {
    string n;
    cin >> n;

    if(n[0] == '7' || n[1] == '7' || n[2] == '7'){
        puts("Yes");
    }else{
        puts("No");
    }
    return 0;
}