function Main(input) {
  const inp = input.split(" ");
  const sum =
    parseInt(inp[0], 10) + parseInt(inp[1], 10) + parseInt(inp[2], 10);

  var ans = sum === 17 ? "YES" : "NO";
  console.log(ans);
}

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