#include <iostream> #include <math.h> #include <cstdio> #include <algorithm> #include <string> #include <string.h> using namespace std; const int MAX_N=10000; string s; int main(){ cin >> s; for(int i=1;i<s.length()-1;i++) if(s[i-1]=='5'&&s[i]=='7'&&s[i+1]=='5'){ cout << "YES" << endl; return 0; } cout << "NO " << endl; return 0; }