#include<iostream>
#include<vector>
#include<string>

int main(){
    std::string N;
    std::cin >> N;
    for(int i = 0; i < N.size(); i++){
        if(N[i] == '7'){
            std::cout << "Yes" << std::endl;
            return 0;
        }
    }

    std::cout << "No" << std::endl;
    return 0;
}
