function main(input){
const texts = input.split(" ").join("");
if(texts==="575"||texts==="755"||texts==="557"){console.log("YES");}else{console.log("NO")}
}
main(require("fs").readFileSync('/dev/stdin','utf8'))