#include <iostream>

using namespace std;

int main(){
  int N, flag=0;
  cin >> N;
  for(int i=0; i<3; i++){
    if(N%10 == 7) flag = 1;
    N/=10;
  }
  if(flag) cout << "Yes" << endl;
  else cout << "No" << endl;
  return 0;
}
