include <iostream>

using namespace std; int main(){ long long n,n1,n2,n3,n4,n5; cin>>n; n1=n/100; n2=n%100; n3=(n%1000)/10;

if(n1==37||n2==37||n3==37){
    cout<<"YES";
}else{
    cout<<"NO";
}

return 0;

}