#include <bits/stdc++.h>
using namespace std;

int main(){
  int N;
  cin >> N;
  
  int s1, s2, s3;
  s1 = N / 100;
  s2 = (N % 100) / 10;
  s3 = N % 10;
  
  if(s1 == 7 || s2 == 7 || s3 == 7){
    cout << "Yes" << endl;
  }else{
    cout << "No" << endl;
}