#include <bits/stdc++.h>
#define rep(i,n) for (int i=0; i< int (n); i++)
using namespace std;
typedef long long ll;
int main(){
int a, b, c;
int n;
cin >>n;
a=n%10;
n/=10;
b=n%10;
n/=10;
c=n%10;
if (a==7|| b==7 || c==7) cout << "Yes" << endl;
else cout << "No" << endl;


}