#include <bits/stdc++.h> using namespace std; int main(){ string h; cin>>h; for(int i=2;i<h.length();++i){ if(h[i]=='5'&&h[i-1]=='7'&&h[i-2]=='5'){ cout<<"YES"<<endl; return 0; } } cout<<"NO"<<endl; }