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

int main()
{
    int n;
    cin >> n;
    int tenten = n / 100 % 10;
    int ten = n / 10 % 10;
    int one = n % 10;

    if(tenten == 7||ten == 7 || one == 7){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    
}