prob7.jl