open System

[<EntryPoint>]
let main argv = 
    let char123 = stdin.ReadLine().ToCharArray()

    let is7 c = c = '7'

    let check1 = is7 char123.[0]
    let check2 = is7 char123.[1]
    let check3 = is7 char123.[2]
    let check x = 
        if check1 then true
        elif check2 then true
        elif check3 then true
        else false
    let answer = 
        if check char123 then "Yes"
        else "No"

    printfn "%s" answer

    0