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); } } }