//
//  main.cpp
//  ABC162
//
//  Created by 安藤光希 on 2020/04/12.
//  Copyright © 2020 安藤光希. All rights reserved.
//

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

int main() {
    
    string N;
    
    cin >> N;
    string result;
    result = "No";
    
    for (int i = 0; i < 3; i++){
        
        char nth_char;
        nth_char = N.at(i);
        
        int x = (int)nth_char - 48;

        
        if (x == 7){
            result = "Yes";
            break;
        }
    }
    
    cout << result << endl;
    
    
    //cin >> N;
    
    //cout << N * 3 << endl;
}

/*
 A
*/

/*
B
*/



/*
C
*/
/*
D
*/
/*

*/
/*

*/
