#include <iostream>
#include <string>
using namespace std;
 
int main() {
  int a;
  cin >> a;
  string str = to_string(a);
  if(str.at(0) == '7' || str.at(1) == '7' || str.at(2) == '7'){
    cout << "Yes" << endl;
    return 0;
  }
  cout << "No" << endl;
  return 0;
}