#include <iostream>
#include <string>
using namespace std;

int main(){
	string str;
	int len,i;

	cin>>str;

	len=str.length();  //文字列の長さを取得

	for(i=0;i<len;i++){
		if(str[i]=='5' && str[i+1]=='7' && str[i+2]=='5'){
			cout<<"YES"<<endl;
			return 0;
		}
	}
	
	cout<<"NO"<<endl;

	return 0;
}