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

int main() {
	std::string str;
  	std::cin >> str;
  	for(int i = 0;i < 3;i++){
    	if(str.at(i) == '7'){
        	std::cout << "Yes" << std::endl;
            return;
        }
    }
    std::cout << "No" << std::endl;
}
