#include #include #include using namespace std; int main(int argc, char* argv[]) { string s; cin>>s; char*p=(char*)s.c_str(); if (strstr(p,"575")){ cout<<"YES"<