import java.util.Scanner

//
fun _Do() {
    
    val S = scan.next()
    
    val p = S.indexOf("575")
    
    if(p<0)
        println("NO")
    else
        println("YES")
}

var scan = Scanner(System.`in`)
fun main( argv : Array<String> ) {
    _Do()
}

fun strings(N:Int):Array<String> = Array(N,{scan.next()})
fun ints(N:Int):Array<Int> = Array(N,{scan.nextInt()})
fun longs(N:Int):Array<Long> = Array(N,{scan.nextLong()})