#include <bits/stdc++.h>
using namespace std;
void fast(){
cin.tie(0);
cin.sync_with_stdio(0);
}
int main()
{
    fast();
    string n;
    cin>>n;
    if(n.find("7")!=string::npos){cout<<"YES";}
    else cout<<"NO";
return 0;
}
