//
//  main.cpp
//  beginner20200412_1
//
//  Created by zer0 on 2020/04/12.
//  Copyright © 2020 zer0. All rights reserved.
//

#include <iostream>
#include <string>

int main(int argc, const char * argv[]) {
    
    std::string m;
    std::cin >> m;
    
    if(m.find("7") == std::string::npos){
        std::cout << "No";
    }else{
        std::cout << "Yes";
    }

    return 0;
}
