i = input() #取得

n = 0

if len(i) >= 3: #実行時
    for k in range(len(i) - 2): #文字を取る
        if i[k] + i[k+1] + i[k+2] == "575": #575なら以下
            if int(n) == 0:
                print("YES")
                n += 1
                
    if int(n) == 0: #純0
            print("NO")

else:
    print("NO")