#include<iostream>
#include<string>
using namespace std;

int main(void){
  string s;
  cin >> s;
  string res="No";
  for(int i=0;i!=3;i++){
    if(s[i]=='7'){
      res="Yes";
    }
  }
  cout << res << endl;
  return 0;
}
