import Foundation

var input = readLine()
var inputs : [String] = input!.components(separatedBy: " ")

var a = Int(inputs[0])!
var b = Int(inputs[1])!
var c = Int(inputs[2])!

if(a + b + c == 17){
    print("YES")
}else{
    print("NO")
}
