import java.util.Scanner;

public class Main {
  private static final int IROHA = 17;
  public static void main(String[] args) {
    try (Scanner scan = new Scanner(System.in)) {
      String input = scan.nextLine();
      String[] arr = input.split("\\s");
      String result = "YES";
      try {
        int sum = 0;
        for (String s: arr) {
          if (s.matches("^[57]$")) {
            sum += Integer.parseInt(s);
          } else {
            result = "NO";
          }
        }
        if (sum != IROHA) {
          result = "NO";
        }
      } catch (NumberFormatException e) {
        result = "NO";
        throw e;
      }
      System.out.println(result);
        
    }
  }
}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz