/*Dear online judge:
* I've read the problem, and tried to solve it.
* Even if you don't accept my solution, you should respect my effort.
* I hope my code compiles and gets accepted.*/
#include <bits/stdc++.h>
using namespace std;
int main() {
    string s;
  cin>>s;
  for(int i=0;i<s.size();i++){
    if(s[i]=='7'){cout<<"Yes";return 0;}
    }
  cout<<"No";
}
