#include <iostream>
using namespace std;

int main(){
  int N;
  cin >> N;
  int ans=0;
  if(N / 100 == 7){
    ans++;
  }else if(N / 10 % 10 == 7){
    ans++;
  }else if(N % 10 == 7){
    ans++;
  }

  if(ans > 0){
    cout << "Yes" << endl;
  }else{
    cout << "No" << endl;
  }

}
