#include <bits/stdc++.h>
#define forn(i,b) for(int i=0 ; i< b ;i++)
#define for1(i,b) for(int i=1 ; i<=b ;i++)
#define reps(i,a,b) for(int i=a ; i< b.length() ;i++)
typedef long long ll;
#define MOD 1000000007

using namespace std;




int main()
{
  int n,val ;
  cin >> n ;
while(n != 0 ){
  val = n%10 ;
  n /= 10 ;
  if(n == 7 ) {
    cout<<"Yes" ;
    return 0 ;
  }
}
cout<<"No";

  return 0 ;
}
