#include <stdio.h>
#include <string.h>
int main(void){
    char str[101];
    scanf("%s",str);
    char decision[4];
    int count = 0;
    for(int i = 0 ; i < 100;i++){
        if(str[i+2] == '\0'){
            break;
        }
        //文字列から文字を3文字取得
        strncpy(decision, str+i, 3);
        //取得した文字の最後に'\0(null文字)'を入れる。そうすることによって文字列の終端を示す。
        decision[3] = '\0';
        //取得した文字(3文字)を"cat"と同じか確認。strcmpを使って一致した場合0が返ってくる。
        if(strcmp(decision,"575") == 0){
        	count++;
        }
    }
    if(count > 0){
    	printf("YES");
    }else{
    	printf("NO");
    }
}