#include <bits/stdc++.h>
using namespace std;
typedef long long ll;


int main()
{
  ll n,m,i,j,temp=0,flag=0;
string s;
cin>>n;
while(n>0)
{
    temp=n%10;
    if(temp==7)flag=1;
    n/=10;
}
if(flag)cout<<"Yes"<<endl;
else cout<<"No"<<endl;

return 0;

}




