import java.io.*;
import java.util.*;


public class Main_yukicoder558 {

	private static Scanner sc;
	private static Printer pr;

	private static void solve() {
		String n = sc.next();

		if (n.contains("575")) {
			pr.println("YES");
		} else {
			pr.print("NO");
		}
	}

	// ---------------------------------------------------
	public static void main(String[] args) {
		sc = new Scanner(System.in);
		pr = new Printer(System.out);

		solve();

		pr.close();
		sc.close();
	}

	private static class Printer extends PrintWriter {
		Printer(PrintStream out) {
			super(out);
		}
	}
}