import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class No00000558_Main {
	static BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
	public static void main(String[] args) throws IOException {
		if(br.readLine().indexOf("575") > 0) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
	}
}