#include int main(void) { int i; int flag; char s[101]; scanf("%s", s); flag = 0; for(i = 0; s[i + 2] =='\0';i++){ if(s[i] == '5' && s[i + 1] == '7' && s[i + 2] == '5'){ flag = 1; break; } } if(flag == 1){ printf("YES\n"); } else { printf("NO\n"); } return 0; }