#include <bits/stdc++.h>
#define rep(i,n) for(long long i = 0; i < (long long)(n); ++i)

using namespace std;
using ll = long long;

int main() {
	string n;
	cin >> n;
	string ans = "No";
	rep(i, 3) if (n[i] == '7') ans = "Yes";
	cout << ans << endl;
	return 0;
}

#include<bits/stdc++.h>
using namespace std;
int main(void){
  int n; cin>>n;
  if(n%10==7||n/10%10==7||n/100%10==7) cout<<"Yes"; else cout<<"No";
  return 0;
}