#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N = 2e5 + 10;
#define fi first
#define se second
#define pb push_back
#define mp make_pair
int main() {
  	ios::sync_with_stdio(false);
  	string a;
  	cin>>a;
  	for(int i=0;i<3;i++){
  		if(a[i]=='7')return cout<<"Yes\n",0;
  	}
  	cout<<"No\n";
 	return 0;
}