'use strict'
const main = (input) => {
  const arr = input.split(' ').map(m => Number(m))
  const sum = arr.reduce((p, c) => p * c)
  console.log((sum === 175) ? 'YES' : 'NO')
}
main(require("fs").readFileSync("/dev/stdin", "utf8"))