program main
    implicit none
    integer i
    character n*3
    logical :: flag = .false.
    read *, n
    do i = 1, 3
        if (n(i:i) == "7") then
            flag = .true.
            exit
        end if
    end do
    if (flag) then
        print "(A)", "Yes"
    else
        print "(A)", "No"
    end if
 end program main