import std.stdio,std.array;

void main(){
    string[] n = split(readln());
    int sevenCount = 0;
    for(int i=0;i<3;i++){
        if("7" == n[i]) sevenCount++;
    }

    int fiveCount =0;
    for(int i=0;i<3;i++){
        if("5" == n[i]) fiveCount++;
    }
    if(fiveCount == 2 && sevenCount == 1){
        writeln("YES");
    }else{
        writeln("NO");
    }
}
