function main(input){
	input = input.split(" ");
    var sum = input[0]+input[1]+input[2];
  
    if(sum === 17){
    	console.log("YES");  
    }else{
    	console.log("NO");
    }
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));