/*
 * a.cpp
 *
 *  Created on: 2017/10/19
 *      Author: n-adachi
 */

#include<iostream>

int main(){
	std::string s;
	std::cin >> s;

	std::string a = "575";

	bool ans = false;
	if(s.length() <= 2){
		std::cout << "NO" << std::endl;
		return 0;
	}
	for(int i = 0; i < s.length() - 3; i++){
		if(s.substr(i, 3) == a)ans = true;
	}

	std::cout << (ans ? "YES" : "NO") << std::endl;
	return 0;
}