// inputに入力データ全体が入る
function Main(input) {
	// 1行目がinput[0], 2行目がinput[1], …に入る
	var countNum = input.split(" ");
	//文字列から10進数に変換するときはparseIntを使います
  	var Ans = countNum[0] + countNum[1] + countNum[2];
  	if (Ans == 17) { 
		console.log("YES");
        	}
	else {
      console.log("NO");
    }
}
//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));