main(require('fs').readFileSync('/dev/stdin', 'UTF-8'));
function main(N){
  var T = N.trim();
  var a = T.charAt(0);
  var b = T.charAt(2);
  var c = T.charAt(4);
    if((a=="7"&&b=="5"&&c=="5")||(a=="5"&&b=="7"&&c=="5")||(a=="5"&&b=="5"&&c=="7")){
    console.log("YES");
  }else{
  console.log("NO");
  }
}