#include <iostream>
#include <string>
#include <cstdio>
#include <algorithm>
#include <vector>
#include <cmath>
#include <array>
#include <queue>
#include <map>
#include <set>
#include <stack>
#include <cstdint>
#include <unordered_set>
#include <ctime>
#include <numeric>
typedef long long int llint;

int main(void){
  std::string n;

  std::cin >> n;

  if(n.find_first_of("7") != std::string::npos) std::cout << "Yes"<< std::endl;
  else                       std::cout << "No" << std::endl;
  
  return 0;
}
