import java.util.ArrayList;
import java.util.List;
import java.util.Scanner;

/**
 * コンソールテスト用Main クラス
 *
 * @author RisaTozawa
 */
public class Main {

	/* コンストラクタ */
	Main() {
	//何もしない
	}

	/**
	 * Atcorder 提出
	 * @return
	 *
	 */

	public static void main(String args[]) {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	}

} import java.util.ArrayList; ArrayList java.util import java.util.List; List java.util import java.util.Scanner; Scanner java.util public class Main {

	/* コンストラクタ */
	Main() {
	//何もしない
	}

	/**
	 * Atcorder 提出
	 * @return
	 *
	 */

	public static void main(String args[]) {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	}

} Main /* コンストラクタ */
	Main() {
	//何もしない
	} Main {
	//何もしない
	} /**
	 * Atcorder 提出
	 * @return
	 *
	 */

	public static void main(String args[]) {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	} main {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) List<Integer> list = new ArrayList<>(); list new ArrayList<>() for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		} int i = 0; int i = 0; i 0 sc.hasNext() sc.hasNext sc i++ i++ i {
			list.add(sc.nextInt());
		} {
			list.add(sc.nextInt());
		} list.add(sc.nextInt()) list.add list sc.nextInt() sc.nextInt sc int n5 = 0; n5 0 int n7 = 0; n7 0 for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		} int n list {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		} {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		} if (n == 5) {
				n5++;
			} n == 5 n 5 {
				n5++;
			} n5++ n5 if (n == 7) {
				n7++;
			} n == 7 n 7 {
				n7++;
			} n7++ n7 System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO") System.out.println System.out System System.out n5 == 2 && n7 == 1 ? "YES" : "NO" n5 == 2 && n7 == 1 n5 == 2 n5 2 n7 == 1 n7 1 "YES" "NO" String args[] args public class Main {

	/* コンストラクタ */
	Main() {
	//何もしない
	}

	/**
	 * Atcorder 提出
	 * @return
	 *
	 */

	public static void main(String args[]) {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	}

} public class Main {

	/* コンストラクタ */
	Main() {
	//何もしない
	}

	/**
	 * Atcorder 提出
	 * @return
	 *
	 */

	public static void main(String args[]) {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	}

} Main
import java.util.ArrayList;
import java.util.List;
import java.util.Scanner;

/**
 * コンソールテスト用Main クラス
 *
 * @author RisaTozawa
 */
public class Main {

	/* コンストラクタ */
	Main() {
	//何もしない
	}

	/**
	 * Atcorder 提出
	 * @return
	 *
	 */

	public static void main(String args[]) {
		Scanner sc = new Scanner(System.in);

		/* コンソールから、数値を受け取る */
		List<Integer> list = new ArrayList<>();
		for (int i = 0; sc.hasNext(); i++) {
			list.add(sc.nextInt());
		}

		int n5 = 0;
		int n7 = 0;

		/* 入力された数値のカウント */
		for (int n : list)  {
			if (n == 5) {
				n5++;
			}
			if (n == 7) {
				n7++;
			}
		}

		/* 入力された数値が 5・7・7に並び替えられるかを判定 */
		System.out.println(n5 == 2 && n7 == 1 ? "YES" : "NO");

	}

}
