import java.util.*;
import java.util.stream.Stream;
import java.time.*;
import java.time.format.*;

public class No558 {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
		String s = sc.next();
		System.out.println(s.contains("575") ? "YES" : "NO");
	}
}