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

int main(){
    int N;
    cin >> N;
    int A = N % 10;
    int B = (N - A) % 100;
    int C = N - B - A;
    if (A == 7 || B == 70 || C == 700){
        cout << "Yes" << endl;
    }
    else {
        cout << "No" << endl;
    }
}