function Main(input){
  var inputs = input.split(" ").join("");
  var a = inputs == "575";
  var b = inputs == "755";
  var c = inputs == "557";
  if(a==true || b==true || c==true){
    console.log("Yes");
  }else{
    console.log("No");
  }
}
Main(require('fs').readFileSync('/dev/stdin','utf8'));