random.jl modified