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