#include <stdio.h>

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;
}