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 sum = a + b + c;
  
    if(sum === 17){
      console.log("YES");
    }else{
      console.log("NO");
    }
}

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