#include using namespace std; typedef long long ll; typedef long double ld; #define rep(i,n) for (int i = 0; i < (n); ++i) templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b> s; rep(i,s.size()-2){ if(s.substr(i,3)=="575"){ cout << "YES" << endl; return 0; } } cout << "NO" << endl; }