#include<iostream> #include<math.h> #include<string.h> #include<vector> #include<algorithm> #include<iomanip> #include<deque> #include<map> #include<stdio.h> using namespace std; int main(){ cin.tie(0); ios::sync_with_stdio(false); string s; getline(cin,s); if(s.size()<3){ cout << "NO" << endl; return 0; } for(int i=0;i<s.size()-2;i++){ if(s[i]=='5' && s[i+1]=='7' && s[i+2]=='5'){ cout << "YES" << endl; return 0; } } cout << "NO" << endl; return 0; }