function Main(input) {
	input = input.split(" ");
	
	var a = parseInt(input[0], 10);
	var b = parseInt(input[1], 10);
	var c = parseInt(input[2], 10);
    var total = a + b + c;
	
  if (total === 17) {
	console.log('YES');
  }else {
	console.log('NO');
  }
}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));