#include <bits/stdc++.h>
using namespace std;
int main() {
  string str = N;
  cin >> N;
if(str.at(0)==7){
  cout << "Yes" << endl;
}
else if(str.at(1) == 7)){
   cout << "Yes" << endl;
}
else if(str.at(2) == 7)){
   cout << "Yes" << endl;
}
else {
  cout << "No" << endl;
 
}
}