// inputに入力データ全体が入る
function Main(input) {
    var a = input[0].split(" ").sort((a,b)=>a-b).join("");
    
    console.log(a=="557"?"YES":"NO");
}

Main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n"));