#include <bits/stdc++.h>
using namespace std;
 
int main(){
    int N;
    cin >> N;
    int first, second, third;
    first = N % 10;
    N /= 10;
    second = N % 10;
    N /= 10;
    third = N;
    if(first == 7 || second == 7 || third == 7){
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    return 0;
}