#include <iostream>
#include <vector>
#include <algorithm>
#include <math.h>
#include <string>
using namespace std;

int main(){
  // 入力
  string N;
  cin >> N;

  string result = "No";
  if(N[0]=='7' || N[1]=='7'  || N[2]=='7' ) {
    result = "Yes";
  }

  cout << result << endl;
  return 0;
}