#include <iostream>
#include <string>

int main(int argc, char *argv[]) {
  std::string s;
  std::cin >> s;
  if (s.find('7') != -1)
    std::cout << "Yes" << std::endl;
  else
    std::cout << "No" << std::endl;
}
