#include<bits/stdc++.h>
using namespace std;

int main(){
    int N;
    cin >> N;
    bool flag = false;
    if(N % 10 == 7) flag = true;
    else if(N / 10 % 10 == 7) flag = true;
    else if(N / 100 == 7) flag = true;
    if(flag) cout << "Yes" << endl;
    else cout << "No" << endl;
}